On Protocols for the Automated Discovery of Theorems in Elementary Geometry.

Giorgio Dalzotto Tomás Recio

Published in: J. Autom. Reason. (2009)

Keyphrases

automated discovery
knowledge discovery
three dimensional
decision trees
geometric structure
communication protocols
digital topology
school children
neural network
search engine
metadata
case study
image sequences
face recognition
information extraction
geometrical constraints