J. Sandretto, Runge-Kutta theory and constraint programming, Reliable Computing, vol.25, pp.178-201, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01376456

A. Julien-alexandre-dit-sandretto and . Chapoutot, Validated explicit and implicit Runge-Kutta methods, Reliable Computing, vol.22, 2016.

R. Alt and J. Vignes, Validation of results of collocation methods for ODEs with the CADNA library, Applied Numerical Mathematics, vol.21, issue.2, pp.119-139, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01150604

M. Antoñana, J. Makazaga, and A. Murua, Reducing and monitoring round-off error propagation for symplectic implicit Runge-Kutta schemes, Numerical Algorithms, vol.76, issue.4, pp.861-880, 2017.

M. Berz and K. Makino, Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models, Reliable Computing, vol.4, issue.4, pp.361-369, 1998.

P. Bodenheimer, G. P. Laughlin, M. Rozyczka, T. Plewa, H. W. Yorke et al., Numerical Methods in Astrophysics: An Introduction. Series in Astronomy and Astrophysics, 2006.

S. Boldo, F. Faissole, and A. Chapoutot, Round-off Error Analysis of Explicit OneStep Numerical Integration Methods, 24th IEEE Symposium on Computer Arithmetic, pp.82-89, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01581794

S. Boldo and G. Melquiond, Flocq: A unified library for proving floating-point algorithms in Coq, Proceedings of the 20th IEEE Symposium on Computer Arithmetic, pp.243-252, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00534854

S. Boldo and G. Melquiond, Computer Arithmetic and Formal Proofs, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01632617

O. Bouissou, A. Chapoutot, and A. Djoudi, Enclosing temporal evolution of dynamical systems using numerical methods, NASA Formal Methods, number 7871 in LNCS, pp.108-123
URL : https://hal.archives-ouvertes.fr/hal-00819730

. Springer, , 2013.

D. Brouwer, On the accumulation of errors in numerical integration, The Astronomical Journal, vol.46, pp.149-153, 1937.

M. Daumas and G. Melquiond, Certification of bounds on expressions involving rounded operators, Transactions on Mathematical Software, vol.37, issue.1, pp.1-20, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00127769

C. Florent-de-dinechin, G. Lauter, and . Melquiond, Certifying the floating-point implementation of an elementary function using Gappa, Transactions on Computers, vol.60, issue.2, pp.242-253, 2011.

R. C. Diprima, Elementary Differential Equations and Boundary Value Problems, 2008.

J. D. David and . Earn, Symplectic integration without roundoff error, Ergodic Concepts in Stellar Dynamics, vol.430, pp.122-130, 1994.

E. Fehlberg, Error propagation in Runge-Kutta type integration formulas, 1970.

L. Fousse, Accurate multiple-precision Gauss-Legendre quadrature, 18th IEEE Symposium on Computer Arithmetic, pp.150-160, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00769452

L. Fousse, Multiple-precision correctly rounded Newton-Cotes quadrature, ITA, vol.41, issue.1, pp.103-121, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00106151

T. Fukushima, Reduction of round-off errors in the extrapolation methods and its application to the integration of orbital motion, Astronomical Journal, vol.112, issue.3, 1996.

E. Hairer, R. I. Mclachlan, and A. Razakarivony, Achieving Brouwer's law with implicit Runge-Kutta methods, BIT Numerical Mathematics, vol.48, issue.2, pp.231-243, 2008.

E. Hairer, S. P. Norsett, and G. Wanner, Solving Ordinary Differential Equations I: Nonstiff Problems, vol.8, 1993.

B. Harry and . Huskey, On the precision of a certain procedure of numerical integration, vol.42, pp.57-62, 1949.

, IEEE standard for floating-point arithmetic, IEEE Std, vol.754, 2008.

F. Immler, Formally verified computation of enclosures of solutions of ODEs, NASA Formal Methods, pp.113-127, 2014.

F. Immler and J. Hölzl, Numerical analysis of ordinary differential equations in Isabelle/HOL, Interactive Theorem Proving, vol.7406, pp.377-392, 2012.

C. Jeannerod and S. M. Rump, On relative errors of floating-point operations: optimal bounds and applications. Mathematics of Computation, pp.803-819, 2016.
URL : https://hal.archives-ouvertes.fr/hal-00934443

E. A. Kalinina, The most precise computations using Euler's method in standard floating-point arithmetic applied to modelling of biological systems, Computer Methods and Programs in Biomedicine, vol.111, issue.2, pp.471-479, 2013.

J. D. Lambert, Numerical Methods for Ordinary Differential Systems: The Initial Value Problem, 1991.

S. Lang, Analyse réelle. InterEditions, 1977.

G. Migoni, E. Kofman, and F. Cellier, Quantization-based new integration methods for stiff ordinary differential equations, SIMULATION, vol.88, issue.4, pp.387-407, 2012.

J. Muller, N. Brunie, C. Florent-de-dinechin, M. Jeannerod, V. Joldes et al., Handbook of Floating-Point Arithmetic, Birkhäuser Basel, 2018.
URL : https://hal.archives-ouvertes.fr/ensl-00379167

N. S. Nedialkov, K. R. Jackson, and G. F. Corliss, Validated solutions of initial value problems for ODEs, Applied Mathematics and Computation, vol.105, issue.1, pp.21-68, 1999.

K. Newman, S. T. Buckland, B. Morgan, R. King, D. L. Borchers et al., Modelling population dynamics: Model formulation, fitting and assessment using state-space methods, Methods in Statistical Ecology, 2014.

G. D. Quinlan, Round-off error in long-term orbital integrations using multistep methods, Celestial Mechanics and Dynamical Astronomy, vol.58, issue.4, pp.339-351, 1994.

N. Revol, K. Makino, and M. Berz, Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY, The Journal of Logic and Algebraic Programming, vol.64, issue.1, pp.135-154, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00071850

R. D. Richtmyer and K. W. Morton, Difference methods for initial-value problems, 1967.

R. D. Skeel, Symplectic integration with floating-point arithmetic and other approximations, Applied Numerical Mathematics, vol.29, issue.1, pp.3-18, 1999.

M. N. Spijker, Error propagation in Runge-Kutta methods, Applied Numerical Mathematics, vol.22, pp.309-325, 1996.

T. E. Sterne, The accuracy of numerical solutions of ordinary differential equations, Mathematical Tables and Other Aids to Computation, vol.7, pp.159-164, 1953.