Nonstandard Geometric Proofs.

Jacques D. Fleuriot

Published in: Automated Deduction in Geometry (2000)

Keyphrases

real time
theorem prover
geometric features
geometric reasoning
equational theories
database
data sets
machine learning
similarity measure
objective function
multi agent systems
object recognition
theorem proving