A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is
In particular, an empirical evaluation showed that our theorem prover, GRAMY, solves all arithmetic-free construction problems from a sample of school textbooks and 86% of the arithmetic-free construction ... "Construction" means drawing additional geometric elements in the problem figure. Some geometry theorems require construction as a part of the proof. ... An interesting study was conducted by Chou et al. (2000) in which they built a powerful theorem prover capable of construction that can solve very hard problems. ...doi:10.1023/b:jars.0000021960.39761.b7 fatcat:xrlropabqjegndsfrigtujtg24
It leverages a recent automated geometry prover to provide combined benefits that any geometry theorem prover or intelligent tutoring system alone cannot accomplish. ... Geometry theorem proving forms a major and challenging component in the K-12 mathematics curriculum. ... Background: Template Matching-Based Proof Technique iGeoTutor is introduced recently as an automated geometry theorem prover capable of producing human-readable proofs. ...arXiv:1711.07154v1 fatcat:4sjkuh2vybg5neui5hta3mc4he
, MyClass, Andes , Gramy, Advanced Geometry Tutor  . ... The presented research describes the experimentation of a Open Source, LMS enhanced with elements of AI aiming at supporting online teachers' and tutors' work by using a KB specific to relational and pedagogical ... tool developed by IPS 2 ANDES: a physics tutoring system deployed in many US colleges and high schools  GRAMY: a geometry theorem prover capable of construction  ADVANCED GEOMETRY TUTOR: an ...doi:10.1016/j.procs.2010.12.135 fatcat:6dfouewonnfevi7zir4xu25oeu