MathGroup Archive 2003

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

Search the Archive

Epsilon-Delta proofs

  • To: mathgroup at
  • Subject: [mg39540] Epsilon-Delta proofs
  • From: wself at (Will Self)
  • Date: Sat, 22 Feb 2003 03:37:46 -0500 (EST)
  • Sender: owner-wri-mathgroup at

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: On Packages and Buttons
  • Next by Date: Re: series expansions in two variables problem
  • Previous by thread: Re: Solving Alphametics with Mathematica
  • Next by thread: Re: Epsilon-Delta proofs