The EPGY Theorem Proving Environment
References
D. McMath, M. Rozenfeld, R. Sommer, A
computer environment for writing ordinary mathematical proofs, to
appear in Procs. 8th International Conference on Logic for
Programming, Artificial Intelligence and Reasoning (LPAR). Havana,
Cuba. LNCS (LNAI) Springer-Verlag. 2001.
P. Suppes (Ed.), University-level computer-assisted instruction at
Stanford: 1968-1980, Institute for Mathematical Studies in the
Social Sciences, Stanford University, Stanford, CA, 1981.
P. Suppes, The next generation of interactive theorem provers,
Proc. 7th Intl. Conf. on Automated Deduction (CADE-7, Napa, CA,
May 1984), ed. R.E. Shostak, LNCS 170, Springer-Verlag, NY, 1984,
pp. 303-315.
P. Suppes, S. Takahashi, An interactive calculus theorem-prover
for continuity properties, J. Symbolic Comput. 7(6):573-590, June
1989.
Page maintained by: David McMath( mcdave@epgy.stanford.edu)
Last modified: Wed Mar 20 10:36:53 PST 2002
© 2001, EPGY Stanford University. All rights reserved.
|
