Mathematics – Numerical Analysis
Scientific paper
2012-02-15
Mathematics
Numerical Analysis
Scientific paper
For most purposes, one can replace the use of Rolle's theorem and the mean value theorem, which are not constructively valid, by the law of bounded change. The proof of two basic results in numerical analysis, the error term for Lagrange interpolation and Simpson's rule, however seem to require the full strength of the classical Rolle's Theorem. The goal of this note is to justify these two results constructively, using ideas going back to Amp\`ere and Genocchi.
Coquand Thierry
Spitters Bas
No associations
LandOfFree
A constructive proof of Simpson's Rule does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A constructive proof of Simpson's Rule, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A constructive proof of Simpson's Rule will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-124703