Skip to Main content Skip to Navigation
Journal articles

Validated Explicit and Implicit Runge-Kutta Methods

Abstract : A set of validated numerical integration methods based on explicit and implicit Runge-Kutta schemes is presented to solve, in a guaranteed way, initial value problems of ordinary differential equations. Runge-Kutta methods are well-known to have strong stability properties which make them appealing to be the basis of validated numerical integration methods. A new approach to bound the local truncation error of any Runge-Kutta methods is the main contribution of this article which pushes back the current state of the art. More precisely, an efficient solution to the challenge of making validated Runge-Kutta methods is presented based on the theory of John Butcher. We also present a new interval contractor approach to solve implicit Runge-Kutta methods. A complete experimentation based on Vericomp benchmark is described.
Complete list of metadata

Cited literature [40 references]  Display  Hide  Download
Contributor : Julien Alexandre Dit Sandretto <>
Submitted on : Monday, December 14, 2015 - 2:57:55 PM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM
Long-term archiving on: : Saturday, April 29, 2017 - 1:17:39 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives 4.0 International License


  • HAL Id : hal-01243053, version 1



Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Validated Explicit and Implicit Runge-Kutta Methods. Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22. ⟨hal-01243053⟩



Record views


Files downloads