Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System

10/29/2015

∙

by   Chris Alvin, et al.

∙

0

∙

share

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.