References
-
The Design and Implementation
of an Object-Oriented 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
High-Order 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
Hermite-Obreschkoff 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.