Overview
Program Demonstrations
Sample Proofs
Student exercises
Geometry
Linear Algebra
Downloads
References
The EPGY Theorem Proving Environment
Student Exercises
Currently, the Theorem Proving Environment is used in our course on Euclidean geoemtry (
M015
) and our course on linear algebra (
M51a
). Click the links below to see listings of the exercises our students are asked to work.
Geometry
Linear Algebra
Page maintained by: David McMath(
mcdave@epgy.stanford.edu
)
Last modified: Thu Nov 29 13:28:57 PST 2001
© 2001, EPGY Stanford University. All rights reserved.
