Chebyshev interpolation polynomial-based tools for rigorous computing
DOI10.1145/1837934.1837966zbMATH Open1321.65018OpenAlexW2075832873MaRDI QIDQ2946533FDOQ2946533
Authors: Nicolas Brisebarre, Mioara Joldes 
Publication date: 17 September 2015
Published in: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1837934.1837966
Recommendations
- Chebyshev model arithmetic for factorable functions
- Enclosing Chebyshev expansions in linear time
- Computation and application of Taylor polynomials with interval remainder bounds
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions
- Rigorous global search using taylor models
Numerical interpolation (65D05) Interpolation in approximation theory (41A05) Approximation by polynomials (41A10)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rational invariants of a group action. Construction and rewriting
- Title not available (Why is that?)
- Differential invariants of a Lie group action: syzygies on a generating set
- Moving coframes. II: Regularization and theoretical foundations
- Title not available (Why is that?)
- Differential algebra for derivations with nontrivial commutation rules
- Generating differential invariants
- Smooth and algebraic invariants of a group action: Local and global constructions
- Invariants différentiels d'un pseudogroupe de Lie. II
- Differential invariants of conformal and projective surfaces
- Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
- Higher order contact of submanifolds of homogeneous spaces
- Invariants différentiels d'un pseudogroupe de Lie. I
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (15)
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- Accurate polynomial interpolation by using the Bernstein basis
- A validated real function calculus
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- A certificate-based approach to formally verified approximations
- Efficient and validated numerical evaluation of abelian integrals
- Reusing Chebyshev points for polynomial interpolation
- Application of Chebyshev, and Legendre polynomials on discrete point set to function interpolation and solving Fredholm integral equations
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
- Chebyshev model arithmetic for factorable functions
- Enclosing Chebyshev expansions in linear time
- On the filtered polynomial interpolation at Chebyshev nodes
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions
- Chebyshev rational interpolation
- Set propagation in dynamical systems with generalised polynomial algebra and its computational complexity
Uses Software
This page was built for publication: Chebyshev interpolation polynomial-based tools for rigorous computing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946533)
