Geometric proof has long been a topic of study within Intelligent Tutoring Systems [3,4]. Proof is interesting because it supports a variety of solutions and strategies. However, implementation is challenging and such tutors have not been widely deployed. © 2010 Springer-Verlag.
CITATION STYLE
Ritter, S., Towle, B., Murray, R. C., Hausmann, R. G. M., & Connelly, J. (2010). A cognitive tutor for geometric proof. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6095 LNCS, p. 453). https://doi.org/10.1007/978-3-642-13437-1_110
Mendeley helps you to discover research relevant for your work.