Some Methods of Problem Solving in Elementary Geometry.

Thomas C. Hales

Published in: LICS (2007)

Keyphrases

significant improvement
data mining techniques
multiscale
benchmark datasets
search methods
database
data sets
artificial intelligence
information systems
knowledge acquisition
empirical studies
classification method
machine learning methods
computationally expensive