Verified high-order inversion of functional dependencies and interval newton methods

Reliable Computing

Volumn 7, Issue 5, 2001, Pages 379-398

  Berz, Martin ^a   Hoefkens, Jens ^a  

^a MICHIGAN STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; DIFFERENTIAL EQUATIONS; FUNCTION EVALUATION; INTEGRATION;

MULTIDIMENSIONAL PROBLEMS; STANDARD INTERVAL NEWTON METHOD;

INVERSE PROBLEMS;

EID: 0035472108     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1011423909873     Document Type: Article

References (15)

1. Differential algebraic description of beam dynamics to very high orders
2. Differential algebras with remainder and rigorous proofs of long-term stability
3. Computation and application of taylor polynomials with interval remainder bounds
4. Exact bounds of the long term stability of weakly nonlinear systems applied to the design of large storage rings
5. New methods for high-dimensional verified quadrature
6. Verified integration of ODEs and flows with differential algebraic methods on taylor models
7. Verification of invertibility of complicated functions over large domains
8. Efficient high-order methods for ODEs and DAEs
9. Efficient control of the dependency problem based on Taylor model methods
10. Remainder differential algebras and their applications