A Validated Solver for Initial Value Problems for Ordinary Differential Equations
VNODE, Validated Numerical ODE, is a C++ package for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation.