References

The Design and Implementation
of an ObjectOriented Validated ODE Solver, N. S. Nedialkov and K. R. Jackson

Some
Recent Advances in Validated Methods for IVPs for ODEs, K. R. Jackson
and N. S. Nedialkov

A New Perspective
on the Wrapping Effect in Interval Methods for Initial Value Problems for
Ordinary Differential Equations, N. S. Nedialkov and K. R. Jackson.

An Effective
HighOrder Interval Method for Validating Existence and Uniqueness of the
Solution of an IVP for an ODE, N. S. Nedialkov, K. R. Jackson
and J. D. Pryce.

Computing
Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary
Differential Equation, N. S. Nedialkov

ODE Software
that Computes Guaranteed Bounds on the Solution, N. S. Nedialkov and
K. R. Jackson.

An Interval
HermiteObreschkoff Method for Computing Rigorous Bounds on the Solution
of an Initial Value Problem for an Ordinary Differential Equation,
N. S. Nedialkov and K. R. Jackson.

Validated
Solutions of Initial Value Problems for Ordinary Differential Equations,
N. S. Nedialkov, K. R. Jackson and G. F. Corliss.