A Proof Environment for Teaching Mathematics. The EPGY Theorem Proving Environment is a computer program used by students to write mathematical proofs in a selection of computer-based, proof-intensive mathematics courses at the high-school and university level. The system allows easy input of mathematical expressions, application of standard proof strategies and logical inference rules, application of mathematical rules, and verification of logical inference. Each course has its own language, database of theorems, and mathematical rules. The system uses a combination of automated reasoning and symbolic computation to verify individual proof steps. The proof environment has been used by over 170 students who have taken the EPGY high-school geometry course. In addition to providing a general overview of the system, we describe what we have learned from student use of the Theorem Proving Environment in the EPGY geometry course.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Billingsley, William; Robinson, Peter: Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book (2007)
- Sommer, Richard; Nuckols, Gregory: A proof environment for teaching mathematics (2004) ioport
- McMath, David; Rozenfeld, Marianna; Sommer, Richard: A computer environment for writing ordinary mathematical proofs (2001)