Concepedia

An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE

Nedialko S. Nedialkov, Kenneth R. Jackson, John D. Pryce

Reliable Computing · 2001 · 120 citations · 4 references

DOI

Concepts

References

4

Validated solutions of initial value problems for ordinary differential equations

Nedialko S. Nedialkov · Applied Mathematics and Computation · 1999 · 359 citations

, , +11

Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models

Martin Berz, Kyoko Makino · Reliable Computing · 1998 · 305 citations

, , +15

Rigorous analysis of nonlinear motion in particle accelerators

Kyoko Makino · 1998 · 112 citations · Full text

, , +15

Automatic Validation of Numerical Solutions

Ole Stauning · 1997 · 65 citations

, , +14