Login / Signup
A Reification of a Strategy for Geometry Theorem Proving.
Noboru Matsuda
Kurt VanLehn
Published in:
Intelligent Tutoring Systems (2000)
Keyphrases
</>
geometry theorem proving
theorem proving
expressive power
machine learning
temporal reasoning
databases
data mining
genetic algorithm
computer vision
high level