Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
classification
💻 cs.AI
keywords
problemsgeometrygeotutorintelligentsystemtutoringableaddress
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.