Paper Info
Title
Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
Abstract
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.
Year
Venue
Field
2015
CoRR
Intelligent tutoring system,Computer science,Artificial intelligence,Euclidean geometry,Machine learning
DocType
Volume
Citations 
Journal
abs/1510.08525
0
PageRank 
References 
Authors
0.34
5
4
Name
Order
Citations
PageRank
Chris Alvin142.48
Sumit Gulwani22263110.91
Rupak Majumdar33401220.08
supratik mukhopadhyay426739.44