@entry{san-cha-15-aa, author = {JAD Sandretto and A Chapoutot}, title = {Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes}, journal = {}, volume = {}, number = {}, pages = {}, year = 2015, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://www.researchgate.net/profile/Julien-Alexandre-Dit-Sandretto/publication/281600271_Validated_Solution_of_Initial_Value_Problem_for_Ordinary_Differential_Equations_based_on_Explicit_and_Implicit_Runge-Kutta_Schemes/links/560e5ea908ae48337515ef01/Validated-Solution-of-Initial-Value-Problem-for-Ordinary-Differential-Equations-based-on-Explicit-and-Implicit-Runge-Kutta-Schemes.pdf}}}, quotes = {... Note that more recent work exists on increasing the accuracy of affine arithmetic [10, 19...} }