Formally verified approximations of definite integrals
From MaRDI portal
Recommendations
- Formally verified approximations of definite integrals
- Verified interactive computation of definite integrals
- Principles of verified numerical integration
- Error bounds for approximations of the definite integrals
- Polynomial Formal Verification of Approximate Functions
- scientific article; zbMATH DE number 434850
- On a number-theoretical formula for approximate integration
- scientific article; zbMATH DE number 1193444
- scientific article; zbMATH DE number 177676
Cites work
- A computer-verified monadic functional implementation of the integral
- Adaptive, Self-Validating Numerical Quadrature
- Coquelicot: a user-friendly library of real analysis for Coq
- Double bubbles minimize
- Formally verified approximations of definite integrals
- Introduction to Interval Analysis
- Proving tight bounds on univariate expressions with elementary functions in Coq
- The Picard Algorithm for Ordinary Differential Equations in Coq
- Validated numerics. A short introduction to rigorous computations.
- Verification methods: rigorous results using floating-point arithmetic
Cited in
(9)- Antiderivatives and integration
- Mathematics and the formal turn
- Formally-verified round-off error analysis of Runge-Kutta methods
- A certificate-based approach to formally verified approximations
- Formally verified approximations of definite integrals
- Verified interactive computation of definite integrals
- Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals
- Principles of verified numerical integration
- Proving Bounds on Real-Valued Functions with Computations
This page was built for publication: Formally verified approximations of definite integrals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1722649)
