2 research outputs found
Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
This paper presents an intelligent tutoring system, GeoTutor, for Euclidean
Geometry that is automatically able to synthesize proof problems and their
respective solutions given a geometric figure together with a set of properties
true of it. GeoTutor can provide personalized practice problems that address
student deficiencies in the subject matter.Comment: A formal version of the accepted AAAI '14 pape