Validated solutions of initial value problems for ordinary differential equations

Nedialko S. Nedialkov, Kenneth R. Jackson, George F. Corliss. Validated solutions of initial value problems for ordinary differential equations. Applied Mathematics and Computation, 105(1):21-68, 1999. [doi]

Abstract

Abstract is missing.