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 > > >