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

Reliable Computing

Volumn 10, Issue 3, 1998, Pages 361-369

  Berz, Martin ^a   Makino, Kyoko ^a  

^a MICHIGAN STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000329979     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1024467732637     Document Type: Article

References (6)

1. Berz, M.: COSY INFINITY Version 8 Reference Manual, Technical Report MSUCL-1088, National Superconducting Cyclotron Laboratory, Michigan State University, East Lansing, MI 48824, 1997.
2. Berz, M. and Hoffstätter, G.: Exact Bounds of the Long Term Stability of Weakly Nonlinear Systems Applied to the Design of Large Storage Rings, Interval Computations 2 (1994), pp. 68-89.
3. Berz, M. and Hoffstätter, G.: Computation and Application of Taylor Polynomials with Interval Remainder Bounds, Reliable Computing 4 (1) (1998), pp. 83-97.
4. Makino, K. and Berz, M.: COSY INFINITY Version 7, in: Fourth Computational Accelerator Physics Conference, AIP Conference Proceedings, 1996.
5. Makino, K.: Rigorous Analysis of Nonlinear Motion in Particle Accelerators, Dissertation, Department of Physics and Astronomy, Michigan State University, 1998; also MSUCL-1093.
6. Makino, K. and Berz, M.: Remainder Differential Algebras and Their Applications, in: Computational Differentiation: Techniques, Applications, and Tools, SIAM, 1996.