Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation. Optimization Methods and Software, 33(4-6):718-728, 2018. [doi]
Abstract is missing.