A verified inexact implicit Runge-Kutta method for nonsmooth ODEs

Sayed Mahmoud, Xiaojun Chen. A verified inexact implicit Runge-Kutta method for nonsmooth ODEs. Numerical Algorithms, 47(3):275-290, 2008. [doi]

Abstract

Abstract is missing.