Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox


Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System

Oct 29, 2015
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay



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.

* A formal version of the accepted AAAI '14 paper 


Share this with someone who'll enjoy it:

   Access Paper Source



Share this with someone who'll enjoy it: