A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
DOI10.1007/s11786-021-00510-7OpenAlexW3134597417MaRDI QIDQ2051589
Publication date: 24 November 2021
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-021-00510-7
linear differential equationsvalidated numericsD-finite functionsChebyshev spectral methodsa posteriori validation
Finite element, Rayleigh-Ritz, Galerkin and collocation methods for ordinary differential equations (65L60) Error bounds for numerical methods for ordinary differential equations (65L70) Complexity and performance of numerical algorithms (65Y20) Algorithms with automatic result verification (65G20)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Iterative approximation of fixed points
- Differentiably finite power series
- Ultra-arithmetic. I: Function data types
- Computer-assisted existence proofs for two-point boundary value problems
- Resolvent kernels of Green's function kernels and other finite-rank modifications of Fredholm and Volterra kernels
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Ultra-arithmetic. II: Intervals of polynomials
- \(C^1\) Lohner algorithm.
- Taylor forms -- use and limits.
- Some structural results on \(\mathrm{D}^n\)-finite functions
- Linear differential equations as a data structure
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous Numerics in Dynamics
- A Fast and Well-Conditioned Spectral Method
- Chebyshev interpolation polynomial-based tools for rigorous computing
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions
- Spectral Integration and Two-Point Boundary Value Problems
- A Posteriori Error Bounds for Two-Point Boundary Value Problems
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- GFUN
- Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations
- Advanced applications of the holonomic systems approach
- On the complexity of solving initial value problems
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
- A certificate-based approach to formally verified approximations
- Fast evaluation of holonomic functions near and in regular singularities
This page was built for publication: A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
