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