A Practical Algorithm for Geometric Theorem Proving.

Ashutosh Rege John F. Canny

Published in: AISMC (1994)

Keyphrases

theorem proving
learning algorithm
search strategy
inference rules
search space
probabilistic model
probability distribution
first order logic
geometry theorem proving