Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Automating Proof in Non-standard Analysis
Authors: Ewen Maclean
Date:Aug 2001
Publication Title:ESSLLI 2001 student session
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.
2003 by The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
author = { Ewen Maclean },
title = {Automating Proof in Non-standard Analysis},
year = 2001,
month = {Aug},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh