Induction and explanatory definitions in mathematics.

Published in: Synth. (2021)

Keyphrases

computer science
program synthesis
inductive learning
machine learning
computer algebra
computer vision
concept learning
explanation based learning
inductive reasoning
databases
real world
clustering algorithm
rule induction
version space
precise definition
proof planning