Login / Signup
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization.
Ricardo Caferra
Nicolas Peltier
François Puitg
Published in:
Automated Deduction in Geometry (2000)
Keyphrases
</>
geometry theorem proving
human operators
semi automated
real world
theorem proving
databases
data driven
semi automatic
human activities
human subjects
human interaction
human beings
machine learning
case study
computer aided
computational models