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