A New Approach for Automatic Theorem Proving in Real Geometry.

Andreas Dolzmann Thomas Sturm Volker Weispfenning

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

Keyphrases

automatic theorem proving
three dimensional
high dimensional
real time
data sets
decision trees
databases
neural network
database systems
wide range
information technology
mobile robot
geometrical constraints