Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction.

Noboru Matsuda, Kurt VanLehn

Browse the full AIED paper archive.