A certificate-based approach to formally verified approximations
From MaRDI portal
(Redirected from Publication:5875414)
Cites work
- A certificate-based approach to formally verified approximations
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers
- A quartic system with twenty-six limit cycles
- A rigorous ODE solver and Smale's 14th problem
- A Skeptic's approach to combining HOL and Maple
- A verified ODE solver and the Lorenz attractor
- Approximation theory and approximation practice
- Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
- Autarkic computations in formal proofs
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- Chebyshev interpolation polynomial-based tools for rigorous computing
- Computer arithmetic and formal proofs. Verifying floating-point algorithms with the Coq system
- Estimating limit cycle bifurcations from centers
- Formal and efficient primality proofs by use of computer algebra oracles
- Formally verified approximations of definite integrals
- scientific article; zbMATH DE number 3874497 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- scientific article; zbMATH DE number 226866 (Why is no real title available?)
- scientific article; zbMATH DE number 3245839 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- Iterative approximation of fixed points
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Proving Bounds on Real-Valued Functions with Computations
- Proving tight bounds on univariate expressions with elementary functions in Coq
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous numerics for nonlinear differential equations using Chebyshev series
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions
- Theorem Proving in Higher Order Logics
- Type classes and filters for mathematical analysis in Isabelle/HOL
- Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations
- Validated numerics. A short introduction to rigorous computations.
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
Cited in
(3)
This page was built for publication: A certificate-based approach to formally verified approximations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875414)
