@techreport{alexandreditsandretto:hal-01107685, TITLE = {{Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes}}, AUTHOR = {Alexandre Dit Sandretto, Julien and Chapoutot, Alexandre}, URL = {https://ensta-paris.hal.science/hal-01107685}, TYPE = {Research Report}, INSTITUTION = {{ENSTA ParisTech}}, YEAR = {2015}, MONTH = Jan, KEYWORDS = {guaranteed numerical integration ; affine arithmetic ; validated simulation ; interval analysis}, PDF = {https://ensta-paris.hal.science/hal-01107685v6/file/report_rk.pdf}, HAL_ID = {hal-01107685}, HAL_VERSION = {v6}, }