no code implementations • 29 Oct 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.