Chebyshev interpolation polynomial-based tools for rigorous computing

DOI10.1145/1837934.1837966MaRDI QIDQ2946533zbMATHOpenAlexFDO

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

zbMATH Keywords

Chebyshev polynomialsvalidated numericsinterpolation polynomialTaylor modelsrigorous computing

Mathematics Subject Classification ID

Numerical interpolation (65D05) Interpolation in approximation theory (41A05) Approximation by polynomials (41A10)

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

Cites work

• scientific article; zbMATH DE number 3762913 (Why is no real title available?)
• scientific article; zbMATH DE number 45257 (Why is no real title available?)
• scientific article; zbMATH DE number 3490133 (Why is no real title available?)
• scientific article; zbMATH DE number 2038305 (Why is no real title available?)
• scientific article; zbMATH DE number 2142844 (Why is no real title available?)
• scientific article; zbMATH DE number 3015982 (Why is no real title available?)
• scientific article; zbMATH DE number 802623 (Why is no real title available?)
• Differential algebra for derivations with nontrivial commutation rules
• Differential invariants of a Lie group action: syzygies on a generating set
• Differential invariants of conformal and projective surfaces
• Generating differential invariants
• Higher order contact of submanifolds of homogeneous spaces
• Invariants différentiels d'un pseudogroupe de Lie. I
• Invariants différentiels d'un pseudogroupe de Lie. II
• Moving coframes. II: Regularization and theoretical foundations
• Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
• Rational invariants of a group action. Construction and rewriting
• Smooth and algebraic invariants of a group action: Local and global constructions

Cited in

(15)

• On the filtered polynomial interpolation at Chebyshev nodes
• Rigorous uniform approximation of D-finite functions using Chebyshev expansions
• Accurate polynomial interpolation by using the Bernstein basis
• Chebyshev rational interpolation
• A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
• Efficient and validated numerical evaluation of abelian integrals
• A certificate-based approach to formally verified approximations
• Set propagation in dynamical systems with generalised polynomial algebra and its computational complexity
• Reusing Chebyshev points for polynomial interpolation
• Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
• Application of Chebyshev, and Legendre polynomials on discrete point set to function interpolation and solving Fredholm integral equations
• Chebyshev model arithmetic for factorable functions
• Enclosing Chebyshev expansions in linear time
• A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
• A validated real function calculus

Describes a project that uses

Uses Software

• DIFFALG
• AIDA

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)