A constructive proof of Simpson's rule

DOI10.4115/JLA.2012.4.15MaRDI QIDQ3145984zbMATH OpenOpenAlexFDO

Authors Thierry Coquand, Bas Spitters

Publication date 17 December 2012

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1202.3460

zbMATH Keywords

divided differenceHermite-GenocchiLagrange's error formulaSimpson's ruleuniform differentiability

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Numerical integration (65D30)

Abstract: 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.

Recommendations

• Simple derivation of basic quadrature formulas
• An elementary proof of the error estimates in Simpson's rule
• Uniform Calculus and the Law of Bounded Change
• scientific article; zbMATH DE number 2113409
• The mean value theorem in second order arithmetic

Cited in

(1)

• scientific article; zbMATH DE number 1529192 (Why is no real title available?)

This page was built for publication: A constructive proof of Simpson's rule

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3145984)