C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction.
Noboru Matsuda
Kurt VanLehn
Published in:
AIED (2005)
Keyphrases
</>
intelligent tutor
geometry theorem proving
intelligent tutoring systems
cognitive model
theorem proving
peer tutoring
semester long
multi agent systems
learning experience
real valued
theorem prover
learning gains