Chebyshev interpolation polynomial-based tools for rigorous computing

DOI10.1145/1837934.1837966zbMath1321.65018OpenAlexW2075832873MaRDI QIDQ2946533

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)

Related Items (9)

A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Chebyshev model arithmetic for factorable functions ⋮ Rigorous uniform approximation of D-finite functions using Chebyshev expansions ⋮ A validated real function calculus ⋮ Set propagation in dynamical systems with generalised polynomial algebra and its computational complexity ⋮ A certificate-based approach to formally verified approximations ⋮ Enclosing Chebyshev Expansions in Linear Time ⋮ A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method ⋮ Rigorous integration of non-linear ordinary differential equations in Chebyshev basis

Uses Software

• DIFFALG
• AIDA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Differential algebra for derivations with nontrivial commutation rules
• Generating differential invariants
• Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
• Smooth and algebraic invariants of a group action: Local and global constructions
• Differential invariants of a Lie group action: syzygies on a generating set
• Invariants différentiels d'un pseudogroupe de Lie. I
• Invariants différentiels d'un pseudogroupe de Lie. II
• Higher order contact of submanifolds of homogeneous spaces
• Moving coframes. II: Regularization and theoretical foundations
• Rational invariants of a group action. Construction and rewriting
• Differential invariants of conformal and projective surfaces

This page was built for publication: Chebyshev interpolation polynomial-based tools for rigorous computing