Pages that link to "Item:Q2946533"
From MaRDI portal
The following pages link to Chebyshev interpolation polynomial-based tools for rigorous computing (Q2946533):
Displaying 9 items.
- Chebyshev model arithmetic for factorable functions (Q1675562) (← links)
- A validated real function calculus (Q1949769) (← links)
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method (Q2051589) (← links)
- Set propagation in dynamical systems with generalised polynomial algebra and its computational complexity (Q2206505) (← links)
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (Q2346283) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions (Q2967967) (← links)
- Enclosing Chebyshev Expansions in Linear Time (Q4960945) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)