Title: Validated numerical bounds on the global error for initial value problems for stiff ordinary differential equations
First published: 2004