The Laurent-Horner method for validated evaluation of Chebyshev expansions
From MaRDI portal
Publication:2184928
DOI10.1016/j.aml.2019.106113OpenAlexW2986052946WikidataQ126828712 ScholiaQ126828712MaRDI QIDQ2184928
Behnam Hashemi, Jared Lee Aurentz
Publication date: 2 June 2020
Published in: Applied Mathematics Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.aml.2019.106113
Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30) Roundoff error (65G50) General methods in interval analysis (65G40) Algorithms with automatic result verification (65G20)
Related Items
Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs
Uses Software
Cites Work
- Interval analysis and automatic result verification
- Computational existence proofs for spherical \(t\)-designs
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Fast and parallel interval arithmetic
- Horner's rule for interval evaluation revisited
- Verification methods: Rigorous results using floating-point arithmetic
- Smooth Random Functions, Random ODEs, and Gaussian Processes
- Enclosing Chebyshev Expansions in Linear Time
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item