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