Paper Info
Title
A Reification of a Strategy for Geometry Theorem Proving
Abstract
This study addresses a novel technique to build a graphical user interface (GUI) for an intelligent tutoring system (ITS) to help students to learn geometry theorem proving with construction - one of the most challenging and creative parts of elementary geometry. Students’ task is not only to prove theorems, but also to construct missing points and/or segments to complete a proof (called auxiliary lines). The problem space of theorem proving with construction is generally huge, thus understanding a search strategy is a key issue for students to succeed in this domain. Two major challenges in building a GUI for an intelligent learning environment are (a) to build a theorem prover that is capable of construction, and (b) to establish a cognitive model of understanding a complex problem-solving strategy.
Year
DOI
Venue
2000
10.1007/3-540-45108-0_83
Intelligent Tutoring Systems
Keywords
Field
DocType
geometry theorem proving,graphic user interface,theorem prover,theorem proving,cognitive model
Intelligent tutoring system,Computer science,Automated theorem proving,Theoretical computer science,Graphical user interface,Learning environment,Cognitive model,Geometry,Reification (Marxism),Problem space
Conference
Volume
ISSN
ISBN
1839
0302-9743
3-540-67655-4
Citations 
PageRank 
References 
0
0.34
1
Authors
2
Name
Order
Citations
PageRank
Noboru Matsuda120023.45
Kurt VanLehn22352417.44