A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.

Eugenio Roanes-Macías Eugenio Roanes-Lozano

Published in: Automated Deduction in Geometry (2006)

Keyphrases

automatic theorem proving
knowledge discovery
scientific discovery
three dimensional
discovery process
software package
geometric information
search algorithm
multiresolution
object recognition
geometric constraints
real time
database systems
feature selection
machine learning
data mining
data sets