S. Boldo, Floats and Ropes: A Case Study for Formal Numerical Program Verification, Automata, Languages and Programming, pp.91-102

. Springer, , 2009.

S. Boldo, F. Clément, J. Filliâtre, M. Mayero, G. Melquiond et al., Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program, Journal of Automated Reasoning, vol.50, issue.4, pp.423-456, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00649240

S. Boldo, F. Clément, J. Filliâtre, M. Mayero, G. Melquiond et al., Trusting computations: A mechanized proof from partial differential equations to actual program, Computers & Mathematics with Applications, vol.68, issue.3, pp.325-352, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00769201

R. P. Brent, Unrestricted algorithms for elementary and special functions, Information Processing, vol.80, 1980.

P. Richard, D. Brent, and . Harvey, Fast Computation of Bernoulli, Tangent and Secant Numbers, Springer Proceedings in Mathematics & Statistics, pp.127-142, 2013.

P. Richard, P. Brent, and . Zimmermann, Modern Computer Arithmetic. Cambridge University Press, 2010.

H. Cartan, Théorieélémentaire des fonctions analytiques d'une ou plusieurs variables complexes, 1961.

A. Cauchy, Résumé d'un mémoire sur la mécanique céleste et sur un nouveau calcul appelé calcul des limites, Exercices d'analyse et de physique mathématique, vol.II, pp.58-112, 1841.

A. Cauchy, Mémoire sur l'emploi du nouveau calcul, appelé calcul des limites, dans l'intégration d'un système d'équations différentielles. Comptes-rendus de l'Académie des Sciences, 15:14, 1842, pp.5-17

A. Cauchy, OEuvres complètes d'Augustin Cauchy, Ière série, volume VII. Gauthier-Villars, 1892

A. Cauchy, OEuvres complètes d'Augustin Cauchy, IIe série, volume XII, 1916.

R. Cooke, The Cauchy-Kovalevskaya theorem

, Companion to the NIST Handbook of Mathematical Functions, vol.30, 2010.

P. Flajolet and R. Sedgewick, Analytic Combinatorics, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00072739

M. Giusti, G. Lecerf, B. Salvy, and J. Yakoubsohn, On Location and Approximation of Clusters of Zeros of Analytic Functions, Foundations of Computational Mathematics, vol.5, issue.3, pp.257-311, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00186736

J. F. Grcar, John von Neumann's Analysis of Gaussian Elimination and the Origins of Modern Numerical Analysis, SIAM Review, vol.53, issue.4, pp.607-682, 2011.

P. Henrici, Discrete Variable Methods in Ordinary Differential Equations, 1962.

N. J. Higham, Accuracy and stability of numerical algorithms, 2002.

T. Hilaire and B. Lopez, Reliable implementation of linear filters with fixed-point arithmetic, SiPS 2013 Proceedings, pp.401-406, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01076048

E. Hille, Ordinary differential equations in the complex domain, 1976.

F. Johansson and M. Mezzarobba, Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights, SIAM Journal on Scientific Computing, vol.40, issue.6, pp.726-747, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01705612

M. Kauers, The holonomic toolkit. Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation, 2013.

M. Kauers, M. Jaroschek, and F. Johansson, Ore polynomials in Sage, Computer Algebra and Polynomials, pp.105-125, 2015.

B. Liu and T. Kaneko, Error analysis of digital filters realized with floating-point arithmetic, Proceedings of the IEEE, vol.57, issue.10, pp.1735-1747, 1969.

M. Mezzarobba, Extended abstract of a talk at the 5th International Congress on Mathematical Software, 2016.

M. Mezzarobba, Truncation bounds for differentially finite series, Annales Henri Lebesgue, vol.2, pp.99-148, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01817568

M. Mezzarobba and B. Salvy, Effective bounds for P-recursive sequences, Journal of Symbolic Computation, vol.45, issue.10, pp.1075-1096, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00376219

J. Oliver, The Numerical Solution of the Initial Value Problem for Linear Recurrence Relations, 1965.

J. Oliver, Relative error propagation in the recursive solution of linear recurrence relations, Numerische Mathematik, vol.9, pp.323-340, 1967.

F. W. Olver, D. W. Lozier, R. F. Boisvert, and C. W. Clark, NIST Handbook of Mathematical Functions, 2010.

B. Salvy, Linear differential equations as a data-structure, Foundations of Computational Mathematics, vol.19, issue.5, pp.1071-1112, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01940078

A. M. Turing, Rounding-Off Errors in Matrix Processes, The Quarterly Journal of Mechanics and Applied Mathematics, vol.1, issue.1, pp.287-308, 1948.

J. Van-der-hoeven, Majorants for formal power series, 2003.

H. H. John-von-neumann and . Goldstine, Numerical inverting of matrices of high order, Bulletin of the American Mathematical Society, vol.53, issue.11, pp.1021-1099, 1947.

P. G. Warne, D. A. Warne, J. S. Sochacki, G. E. Parker, and D. C. Carothers, Explicit a-priori error bounds and adaptive error control for approximation of nonlinear initial value differential systems, Computers and Mathematics with Applications, vol.52, issue.12, pp.1695-1710, 2006.

J. H. Wilkinson, Rounding errors in algebraic processes, 1963.

J. Wimp, Forward computation in second order difference equations, Applicable Analysis, vol.1, issue.4, pp.325-329, 1972.

J. Wimp, Email address: marc.mezzarobba@lip6.fr Email address: marc@mezzarobba, Marc Mezzarobba, Sorbonne Université, CNRS, LIP6, F-75005, 1984.