An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE

Reliable Computing

Volumn 7, Issue 6, 2001, Pages 449-465

  Nedialkov, Nedialko S ^a   Jackson, Kenneth R ^b   Pryce, John D ^c  

^a MCMASTER UNIVERSITY   (Canada)

^b UNIVERSITY OF TORONTO   (Canada)

^c CRANFIELD UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; INTEGRATION; ORDINARY DIFFERENTIAL EQUATIONS; PROBLEM SOLVING; VECTORS;

HIGH-ORDER INTERVAL METHODS;

INITIAL VALUE PROBLEMS;

EID: 0035724114     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1014798618404     Document Type: Article

References (13)

1. Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
2. Validating an a Priori enclosure using high-order Taylor series
3. An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
4. Validated solutions of initial value problems for ordinary differential equations
5. Interval methods for initial value problems in ODEs
6. Validated solution of initial value problems for ODEs