Automated conjecturing III - Property-relations conjectures.

Craig E. Larson Nicolas Van Cleemput

Published in: Ann. Math. Artif. Intell. (2017)

Keyphrases

semi automated
semantic relations
data driven
decision trees
fully automatic
computer aided
neural network
information systems
natural language
expert systems
theorem prover
binary relations