M. Abramowitz and I. A. Stegun, Handbook of mathematical functions with formulas, graphs, and mathematical tables, National Bureau of Standards Applied Mathematics Series. Courier Corporation, vol.55, 1964.

P. R. Arantes-gilz, F. Bréhard, and G. Clément, Validated semi-analytical transition matrices for linearized spacecraft dynamics via Chebyshev series approximations, 2017.

G. Baszenski and M. Tasche, Fast polynomial multiplication and convolutions related to the discrete cosine transform, Linear Algebra and its Applications, vol.252, issue.1-3, pp.1-25, 1997.
DOI : 10.1016/0024-3795(95)00696-6
URL : http://doi.org/10.1016/0024-3795(95)00696-6

A. Benoit, M. Joldes, and M. Mezzarobba, Rigorous uniform approximation of D-finite functions using Chebyshev expansions, Mathematics of Computation, 2016.
DOI : 10.1090/mcom/3135
URL : https://hal.archives-ouvertes.fr/hal-01022420

V. Berinde, Iterative approximation of fixed points, Lecture Notes in Mathematics, 1912.
DOI : 10.1109/synasc.2007.49

J. P. Boyd, Chebyshev and Fourier spectral methods, 2001.
DOI : 10.1007/978-3-642-83876-7

H. Brezis, Functional analysis, Sobolev spaces and partial differential equations, 2010.
DOI : 10.1007/978-0-387-70914-7

N. Brisebarre and M. Jolde?, Chebyshev interpolation polynomial-based tools for rigorous computing, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC '10, pp.147-154, 2010.
DOI : 10.1145/1837934.1837966
URL : https://hal.archives-ouvertes.fr/ensl-00472509

E. W. Cheney, Introduction to approximation theory, 1998.

S. Chevillard, J. Harrison, M. Jolde?, and C. Lauter, Efficient and accurate computation of upper bounds of approximation errors, Theoretical Computer Science, vol.412, issue.16, pp.1523-1543, 2011.
DOI : 10.1016/j.tcs.2010.11.052
URL : https://hal.archives-ouvertes.fr/ensl-00445343

C. W. Clenshaw, The numerical solution of linear differential equations in Chebyshev series, Mathematical Proceedings of the Cambridge Philosophical Society, pp.134-149, 1957.
DOI : 10.1002/sapm1938171123

P. and D. Lizia, Robust Space Trajectory and Space System Design using Differential Algebra, 2008.

T. A. Driscoll, F. Bornemann, and L. N. Trefethen, The chebop system for automatic solution of differential equations, BIT Numerical Mathematics, vol.1, issue.4, pp.701-723, 2008.
DOI : 10.1137/1.9780898719598

K. Du, On Well-Conditioned Spectral Collocation and Spectral Methods by the Integral Reformulation, SIAM Journal on Scientific Computing, vol.38, issue.5, pp.3247-3263, 2016.
DOI : 10.1137/15M1046629
URL : http://arxiv.org/abs/1511.01219

C. Epstein, W. Miranker, and T. Rivlin, Ultra-arithmetic I: Function data types, Mathematics and Computers in Simulation, vol.24, issue.1, pp.1-18, 1982.
DOI : 10.1016/0378-4754(82)90045-3

C. Epstein, W. Miranker, and T. Rivlin, Ultra-arithmetic II: intervals of polynomials, Mathematics and Computers in Simulation, vol.24, issue.1, pp.19-29, 1982.
DOI : 10.1016/0378-4754(82)90046-5

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007.
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00070266

L. Fox and I. B. Parker, Chebyshev polynomials in numerical analysis, 1968.

P. Giorgi, On Polynomial Multiplication in Chebyshev Basis, IEEE Transactions on Computers, vol.61, issue.6, pp.780-789, 2012.
DOI : 10.1109/TC.2011.110
URL : https://hal.archives-ouvertes.fr/hal-00520207

I. Gohberg, S. Goldberg, and M. A. Kaashoek, Basic classes of linear operators, 2003.
DOI : 10.1007/978-3-0348-7980-4

D. Gottlieb and S. A. Orszag, Numerical Analysis of Spectral Methods: Theory and Applications, Siam, vol.26, 1977.
DOI : 10.1137/1.9781611970425
URL : http://www.dtic.mil/get-tr-doc/pdf?AD=ADA056922

L. Greengard, Spectral Integration and Two-Point Boundary Value Problems, SIAM Journal on Numerical Analysis, vol.28, issue.4, pp.1071-1080, 1991.
DOI : 10.1137/0728057
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.227.3676

A. Hungria, J. Lessard, J. D. Mireles, and . James, Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach, Mathematics of Computation, vol.85, issue.299, pp.1427-1459, 2016.
DOI : 10.1090/mcom/3046

A. Iserles, A first course in the numerical analysis of differential equations. Cambridge Texts in Applied Mathematics, 2009.

M. Jolde?, Rigorous Polynomial Approximations and Applications, 2011.

Y. Katznelson, An introduction to harmonic analysis, 2004.
DOI : 10.1017/cbo9781139165372.002
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.261.2204

E. Kaucher and W. Miranker, Self-validating numerics for function space problems, 1984.

T. Lalescu, Introduction à la théorie des équations intégrales (Introduction to the Theory of Integral Equations) Librairie Scientifique A. Hermann, 1911.

J. Lessard and C. Reinhardt, Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series, SIAM Journal on Numerical Analysis, vol.52, issue.1, pp.1-22, 2014.
DOI : 10.1137/13090883X
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.4042

K. Makino and M. Berz, Taylor models and other validated functional inclusion methods, International Journal of Pure and Applied Mathematics, vol.4, issue.4, pp.379-456, 2003.

J. C. Mason and D. C. Handscomb, Chebyshev polynomials, 2002.
DOI : 10.1201/9781420036114

R. E. Moore, Interval Analysis, 1966.

R. E. Moore and F. Bierbaum, Methods and applications of interval analysis, SIAM, vol.2, 1979.
DOI : 10.1137/1.9781611970906

J. Muller, Elementary Functions, Algorithms and Implementation, Birkhäuser, 2016.
URL : https://hal.archives-ouvertes.fr/ensl-00000008

M. Neher, K. R. Jackson, and N. S. Nedialkov, On Taylor Model Based Integration of ODEs, SIAM Journal on Numerical Analysis, vol.45, issue.1, pp.236-262, 2007.
DOI : 10.1137/050638448

A. Neumaier, Interval methods for systems of equations, 1990.
DOI : 10.1017/CBO9780511526473

A. Neumaier, Taylor forms ? Use and limits, Reliable Computing, vol.9, issue.1, pp.43-79, 2003.
DOI : 10.1023/A:1023061927787

S. Olver and A. Townsend, A Fast and Well-Conditioned Spectral Method, SIAM Review, vol.55, issue.3, pp.462-489, 2013.
DOI : 10.1137/120865458
URL : http://arxiv.org/abs/1202.1347

M. J. Powell, Approximation theory and methods, 1981.

N. Revol and F. Rouillier, Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library, Reliable Computing, vol.2, issue.3, pp.1-16, 2005.
DOI : 10.1007/978-3-7091-8577-3_15
URL : https://hal.archives-ouvertes.fr/inria-00072090

T. J. Rivlin, The Chebyshev Polynomials, 1974.

S. M. Rump, Verification methods, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC '10, pp.287-449, 2010.
DOI : 10.1145/1837934.1837937

B. Salvy, D-finiteness, Proceedings of the 2005 international symposium on Symbolic and algebraic computation , ISSAC '05, pp.2-3, 2005.
DOI : 10.1145/1073884.1073886

R. P. Stanley, Differentiably Finite Power Series, European Journal of Combinatorics, vol.1, issue.2, pp.175-188, 1980.
DOI : 10.1016/S0195-6698(80)80051-5
URL : http://doi.org/10.1016/s0195-6698(80)80051-5

L. N. Trefethen, Computing numerically with functions instead of numbers, Communications of the ACM, vol.58, issue.10, pp.9-19, 2007.
DOI : 10.1007/978-3-540-85521-7_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.1010

L. N. Trefethen, Approximation Theory and Approximation Practice, SIAM, 2013.

J. Tschauner and P. Hempel, Optimale Beschleunigungsprogramme fur das Rendezvous-Manover, Acta Astronautica, vol.10, issue.56, pp.296-307, 1964.

W. Tucker, Validated numerics: a short introduction to rigorous computations, 2011.
DOI : 10.4171/009-1/54

J. B. Van-den, J. Berg, and . Lessard, Rigorous Numerics in Dynamics, Notices of the American Mathematical Society, vol.62, issue.09, p.2015
DOI : 10.1090/noti1276

A. Wazwaz, Linear and nonlinear integral equations: methods and applications, 2011.
DOI : 10.1007/978-3-642-21449-3

N. Yamamoto, A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem, SIAM Journal on Numerical Analysis, vol.35, issue.5, pp.2004-2013, 1998.
DOI : 10.1137/S0036142996304498

D. Zeilberger, A holonomic systems approach to special functions identities, Journal of Computational and Applied Mathematics, vol.32, issue.3, pp.321-368, 1990.
DOI : 10.1016/0377-0427(90)90042-X
URL : http://doi.org/10.1016/0377-0427(90)90042-x

A. Zygmund, Trigonometric series. Vol. I, II. Cambridge Mathematical Library, 2002.