[Date Index] [Thread Index] [Author Index]

Re: Epsilon-Delta proofs

• To: mathgroup at smc.vnet.net
• Subject: [mg39568] Re: Epsilon-Delta proofs
• From: Bruce Atwood <bta at attewode.com>
• Date: Sun, 23 Feb 2003 05:01:14 -0500 (EST)
• References: <b37et8$pio$1@smc.vnet.net>
• Reply-to: bta at attewode.com
• Sender: owner-wri-mathgroup at wolfram.com

Something like this has been done by Mark Townsend of Lebanon Valley 
College.

I believe the notebook can be found either in MathSource or in the demos 
or in the education examples. Search wolfram.com for "epsilondeltalgame".

I hope this is helpful. Sorry I can't remember exactly where I found it.

Bruce Atwood

Will Self wrote:

>It occurred to me that it might be interesting to write a Mathematica
>program that would do epsilon-delta proofs for limits, e.g., prove
>that the limit of (x^2-4)/(x-2), as x approaches 2, is 4.  Perhaps
>restricting the expressions involved to rational functions.  Has
>anybody done something like this?
>
>email replies greatly appreciated
>Will
>
>  
>