Handbook of mathematical functions with formulas, graphs, and mathematical tables, National Bureau of Standards Applied Mathematics Series. Courier Corporation, vol.55, 1964. ,
Validated semi-analytical transition matrices for linearized spacecraft dynamics via Chebyshev series approximations, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01540170
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 : https://doi.org/10.1016/0024-3795(95)00696-6
Rigorous uniform approximation of D-finite functions using Chebyshev expansions, Mathematics of Computation, vol.86, issue.305, pp.1303-1341, 2017. ,
DOI : 10.1090/mcom/3135
URL : https://hal.archives-ouvertes.fr/hal-01022420
Iterative approximation of fixed points, Lecture Notes in Mathematics, 1912. ,
DOI : 10.1109/synasc.2007.49
Suppression of the wrapping effect by Taylor model-based verified integrators: Long-term stabilization by shrink wrapping, Int. J. Diff. Eq. Appl, vol.10, pp.385-403, 2005. ,
Chebyshev and Fourier spectral methods, 2001. ,
DOI : 10.1007/978-3-642-83876-7
Functional analysis, Sobolev spaces and partial differential equations, 2010. ,
DOI : 10.1007/978-0-387-70914-7
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
Introduction to approximation theory, 1998. ,
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
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
Robust Space Trajectory and Space System Design using Differential Algebra, 2008. ,
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
URL : http://www-m3.mathematik.tu-muenchen.de/foswiki/pub/M3/Allgemeines/Publications/Chebop.pdf
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/pdf/1511.01219
Rigorous integration of non-linear ordinary differential equations in chebyshev basis, Numerical Algorithms, vol.2, issue.1, pp.183-205, 2015. ,
DOI : 10.1007/s002080010018
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
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
MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007. ,
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00070266
Chebyshev polynomials in numerical analysis, 1968. ,
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
Basic classes of linear operators, 2003. ,
DOI : 10.1007/978-3-0348-7980-4
Numerical Analysis of Spectral Methods: Theory and Applications, Siam, vol.26, 1977. ,
DOI : 10.1137/1.9781611970425
URL : http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA056922&Location=U2&doc=GetTRDoc.pdf
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://www.dtic.mil/dtic/tr/fulltext/u2/a199805.pdf
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
URL : https://corpus.ulaval.ca/jspui/bitstream/20.500.11794/1201/1/Analytic_Rad_Poly_Approach.pdf
A first course in the numerical analysis of differential equations. Cambridge Texts in Applied Mathematics, 2009. ,
Rigorous Polynomial Approximations and Applications, 2011. ,
An introduction to harmonic analysis, 2004. ,
DOI : 10.1017/cbo9781139165372
URL : http://tailieuhoctap.files.wordpress.com/2007/01/katznelson-y-an-introduction-to-harmonic-analysis-cup-2004299s_mcf_.pdf
Self-validating numerics for function space problems: Computation with guarantees for differential and integral equations, 1984. ,
Introduction à la théorie des équations intégrales (Introduction to the Theory of Integral Equations) Librairie Scientifique A. Hermann, 1911. ,
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://www-m3.mathematik.tu-muenchen.de/foswiki/pub/M3/Allgemeines/Publications/chebsiam.pdf
Taylor models and other validated functional inclusion methods, International Journal of Pure and Applied Mathematics, vol.4, issue.4, pp.379-456, 2003. ,
Suppression of the wrapping effect by Taylor model-based verified integrators: Long-term stabilization by preconditioning, Int. J. Diff. Eq. Appl, vol.10, pp.353-384, 2005. ,
Suppression of the wrapping effect by Taylor model-based verified integrators: The single step, Int. J. Pure Appl. Math, vol.36, pp.175-197, 2006. ,
Chebyshev polynomials, 2002. ,
DOI : 10.1201/9781420036114
Interval Analysis, 1966. ,
Methods and applications of interval analysis, SIAM, vol.2, 1979. ,
DOI : 10.1137/1.9781611970906
URL : https://epubs.siam.org/doi/pdf/10.1137/1.9781611970906.fm
Elementary Functions, Algorithms and Implementation, Birkhäuser, 2016. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
On Taylor Model Based Integration of ODEs, SIAM Journal on Numerical Analysis, vol.45, issue.1, pp.236-262, 2007. ,
DOI : 10.1137/050638448
URL : https://publikationen.bibliothek.kit.edu/1000004610/1003614
Interval methods for systems of equations, 1990. ,
DOI : 10.1017/CBO9780511526473
Taylor forms ? Use and limits, Reliable Computing, vol.9, issue.1, pp.43-79, 2003. ,
DOI : 10.1023/A:1023061927787
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/pdf/1202.1347
Approximation theory and methods, 1981. ,
DOI : 10.1017/CBO9781139171502
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
The Chebyshev Polynomials, 1974. ,
Verification methods, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC '10, pp.287-449, 2010. ,
DOI : 10.1145/1837934.1837937
D-finiteness, Proceedings of the 2005 international symposium on Symbolic and algebraic computation , ISSAC '05, pp.2-3, 2005. ,
DOI : 10.1145/1073884.1073886
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 : https://doi.org/10.1016/s0195-6698(80)80051-5
Computing Numerically with Functions Instead of Numbers, Mathematics in Computer Science, vol.1, issue.1, pp.9-19, 2007. ,
DOI : 10.1007/s11786-007-0001-y
URL : http://web.comlab.ox.ac.uk/people/Nick.Trefethen/publication/PDF/2007_123.pdf
Approximation Theory and Approximation Practice. SIAM, 2013 ,
Optimale Beschleunigungsprogramme fur das Rendezvous-Manover, Acta Astronautica, vol.10, issue.56, pp.296-307, 1964. ,
Validated numerics: a short introduction to rigorous computations, 2011. ,
DOI : 10.4171/009-1/54
Rigorous Numerics in Dynamics, Notices of the American Mathematical Society, vol.62, issue.09, p.2015 ,
DOI : 10.1090/noti1276
Linear and nonlinear integral equations: methods and applications, 2011. ,
DOI : 10.1007/978-3-642-21449-3
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 ,
DOI : 10.1137/S0036142996304498
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 : https://doi.org/10.1016/0377-0427(90)90042-x
Trigonometric series. Vol. I, II. Cambridge Mathematical Library, 2002. ,