A Survey of Research in Automated Mathematical Conjecture-Making.

Craig E. Larson

Published in: Graphs and Discovery (2001)

Keyphrases

semi automated
fully automated
mathematical expressions
multiscale
automated analysis
mathematical models
data driven
automated theorem provers
real time
computer assisted
computer aided
artificial neural networks
expert systems
computer science
object recognition
artificial intelligence
data sets