A Dynamic Geometry Environment for Learning Theorem Proving.

Wing-Kwong Wong Bo-Yu Chan Sheng-Kai Yin

Published in: ICALT (2005)

Keyphrases

theorem proving
reinforcement learning
learning algorithm
learning process
decision procedures
geometry theorem proving
first order logic
machine learning
training set
supervised learning
dynamic environments
automated reasoning
operational semantics
automatic programming
automated deduction