A Cognitive Tutor for Geometric Proof.

Steven Ritter, Brendon Towle, R. Charles Murray, Robert G. M. Hausmann, John Connelly

Browse the full ITS paper archive.