MathGroup Archive 2003

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

Search the Archive

Re: Epsilon-Delta proofs

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

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

I believe the notebook can be found either in MathSource or in the demos 
or in the education examples. Search 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

  • Prev by Date: Re: Finding the closest number from a list
  • Next by Date: MathKernel access Internet?
  • Previous by thread: Epsilon-Delta proofs
  • Next by thread: RE: Epsilon-Delta proofs