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.
from cs.AI updates on arXiv.org http://ift.tt/1Rhd9xz
via IFTTT
No comments:
Post a Comment