Login / Signup
A Complete and Practical Algorithm for Geometric Theorem Proving (Extended Abstract).
Ashutosh Rege
Published in:
SCG (1995)
Keyphrases
</>
extended abstract
theorem proving
learning algorithm
np hard
machine learning
simulated annealing
default logic
parallel search