Epsilon-Delta proofs
- To: mathgroup at smc.vnet.net
- Subject: [mg39540] Epsilon-Delta proofs
- From: wself at msubillings.edu (Will Self)
- Date: Sat, 22 Feb 2003 03:37:46 -0500 (EST)
- Sender: owner-wri-mathgroup at wolfram.com
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