# Gregory Nuckols

- Citations Per Year

- Citations Per Year

- Full text PDF available (0)

Learn More

- Richard Sommer, Gregory Nuckols
- Journal of Automated Reasoning
- 2004

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… (More)

- ‹
- 1
- ›