Automated Mathematical Induction.

Adel Bouhoula Emmanuel Kounalis Michaël Rusinowitch

Published in: J. Log. Comput. (1995)

Keyphrases

semi automated
automated theorem provers
machine learning
explanation based learning
neural network
knowledge base
data driven
fully automated
computer algebra
data sets
computational intelligence
computer assisted
inductive learning
inductive inference
mathematical expressions
inductive reasoning