- Abstract:
-
Non-standard analysis provides a framework to carry out formally calculus proofs in a much more intuitive manner than in the $\epsilon-\delta$ formulation of Weierstra{\ss}. This paper introduces the notions of proof-planning and rippling, and gives an example showing how they can be applied to non-standard analysis to produce readable proofs. We present the related work in the area and give an outline of the proposed work.
- Copyright:
- 2003 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- No links available
- Bibtex format
- @Misc{EDI-INF-RR-0178,
- author = {
Ewen Maclean
},
- title = {Automating Proof in Non-standard Analysis},
- year = 2001,
- month = {Aug},
- }
|