Rigorous uniform approximation of D-finite functions using Chebyshev expansions
Rigorous uniform approximation of D-finite functions using Chebyshev expansions
A wide range of numerical methods exists for computing polynomial approximations of solutions of ordinary differential equations based on Chebyshev series expansions or Chebyshev interpolation polynomials. We consider the application of such methods in the context of rigorous computing (where we need guarantees on the accuracy of the result), and …