On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons.

Published in: Automated Deduction in Geometry (2006)

Keyphrases

semi automatic
fully automatic
three dimensional
partially ordered
genetic algorithm
e learning
decision trees
partial order
database
information systems
probabilistic model