3 Hits in 2.7 sec

GRAMY: A Geometry Theorem Prover Capable of Construction

Noboru Matsuda, Kurt VanLehn
2004 Journal of automated reasoning  
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

Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs [article]

Ke Wang, Zhendong Su
2017 arXiv   pre-print
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

MAPIT: a pedagogical-relational ITS

Pier Giuseppe Rossi, Simone Carletti
2011 Procedia Computer Science  
[1], MyClass, Andes [2], Gramy, Advanced Geometry Tutor [7] .  ...  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 [2] GRAMY: a geometry theorem prover capable of construction [7] ADVANCED GEOMETRY TUTOR: an  ... 
doi:10.1016/j.procs.2010.12.135 fatcat:6dfouewonnfevi7zir4xu25oeu