Runge-Kutta theory and constraint programming, Reliable Computing, vol.25, pp.178-201, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01376456
Validated explicit and implicit Runge-Kutta methods, Reliable Computing, vol.22, 2016. ,
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
Reducing and monitoring round-off error propagation for symplectic implicit Runge-Kutta schemes, Numerical Algorithms, vol.76, issue.4, pp.861-880, 2017. ,
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. ,
, Numerical Methods in Astrophysics: An Introduction. Series in Astronomy and Astrophysics, 2006.
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
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
Computer Arithmetic and Formal Proofs, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01632617
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
, , 2013.
On the accumulation of errors in numerical integration, The Astronomical Journal, vol.46, pp.149-153, 1937. ,
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
Certifying the floating-point implementation of an elementary function using Gappa, Transactions on Computers, vol.60, issue.2, pp.242-253, 2011. ,
Elementary Differential Equations and Boundary Value Problems, 2008. ,
Symplectic integration without roundoff error, Ergodic Concepts in Stellar Dynamics, vol.430, pp.122-130, 1994. ,
Error propagation in Runge-Kutta type integration formulas, 1970. ,
Accurate multiple-precision Gauss-Legendre quadrature, 18th IEEE Symposium on Computer Arithmetic, pp.150-160, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00769452
Multiple-precision correctly rounded Newton-Cotes quadrature, ITA, vol.41, issue.1, pp.103-121, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00106151
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. ,
Achieving Brouwer's law with implicit Runge-Kutta methods, BIT Numerical Mathematics, vol.48, issue.2, pp.231-243, 2008. ,
Solving Ordinary Differential Equations I: Nonstiff Problems, vol.8, 1993. ,
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.
Formally verified computation of enclosures of solutions of ODEs, NASA Formal Methods, pp.113-127, 2014. ,
Numerical analysis of ordinary differential equations in Isabelle/HOL, Interactive Theorem Proving, vol.7406, pp.377-392, 2012. ,
, 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
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. ,
Numerical Methods for Ordinary Differential Systems: The Initial Value Problem, 1991. ,
Analyse réelle. InterEditions, 1977. ,
Quantization-based new integration methods for stiff ordinary differential equations, SIMULATION, vol.88, issue.4, pp.387-407, 2012. ,
Handbook of Floating-Point Arithmetic, Birkhäuser Basel, 2018. ,
URL : https://hal.archives-ouvertes.fr/ensl-00379167
Validated solutions of initial value problems for ODEs, Applied Mathematics and Computation, vol.105, issue.1, pp.21-68, 1999. ,
Modelling population dynamics: Model formulation, fitting and assessment using state-space methods, Methods in Statistical Ecology, 2014. ,
Round-off error in long-term orbital integrations using multistep methods, Celestial Mechanics and Dynamical Astronomy, vol.58, issue.4, pp.339-351, 1994. ,
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
Difference methods for initial-value problems, 1967. ,
Symplectic integration with floating-point arithmetic and other approximations, Applied Numerical Mathematics, vol.29, issue.1, pp.3-18, 1999. ,
Error propagation in Runge-Kutta methods, Applied Numerical Mathematics, vol.22, pp.309-325, 1996. ,
The accuracy of numerical solutions of ordinary differential equations, Mathematical Tables and Other Aids to Computation, vol.7, pp.159-164, 1953. ,