@entry{cha-san-15-aa, author = {A Chapoutot and JAD Sandretto...}, title = {Validated explicit and implicit Runge-Kutta methods}, journal = {Small ...,}, year = 2015, url = {{\url{https://hal-ensta-paris.archives-ouvertes.fr/hal-01111240/}}}, quotes = {The guaranteed solution of initial value problem of ordinary differential equations is well studied from interval analysis community. In the most of the cases Taylor models are used in this ...} }