Sayed Mahmoud, Xiaojun Chen. A verified inexact implicit Runge-Kutta method for nonsmooth ODEs. Numerical Algorithms, 47(3):275-290, 2008. [doi]
@article{MahmoudC08,
title = {A verified inexact implicit Runge-Kutta method for nonsmooth ODEs},
author = {Sayed Mahmoud and Xiaojun Chen},
year = {2008},
doi = {10.1007/s11075-008-9180-0},
url = {http://dx.doi.org/10.1007/s11075-008-9180-0},
researchr = {https://researchr.org/publication/MahmoudC08},
cites = {0},
citedby = {0},
journal = {Numerical Algorithms},
volume = {47},
number = {3},
pages = {275-290},
}