Chebyshev interpolation polynomial-based tools for rigorous computing
From MaRDI portal
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
- 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
- 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?)
- 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
(18)- Chebyshev rational interpolation
- Chebyshev model arithmetic for factorable functions
- A validated real function calculus
- Application of Chebyshev, and Legendre polynomials on discrete point set to function interpolation and solving Fredholm integral equations
- On the filtered polynomial interpolation at Chebyshev nodes
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
- Set propagation in dynamical systems with generalised polynomial algebra and its computational complexity
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- Accurate polynomial interpolation by using the Bernstein basis
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions
- Enclosing Chebyshev expansions in linear time
- A certificate-based approach to formally verified approximations
- Efficient and validated numerical evaluation of abelian integrals
- Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
- Optimal third-kind Chebyshev collocation algorithm for solving beam-type micro- and nanoscale BVPs
- Derivative-enhanced lower-Bounding in adaptive discretization for the global solution of semi-infinite optimization problems
- Reusing Chebyshev points for polynomial interpolation
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)
