Pages that link to "Item:Q2967967"
From MaRDI portal
The following pages link to Rigorous uniform approximation of D-finite functions using Chebyshev expansions (Q2967967):
Displayed 5 items.
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method (Q2051589) (← links)
- Linear differential equations as a data structure (Q2329042) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
- Computation and Applications of Mathieu Functions: A Historical Perspective (Q5162640) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)