Verified integration of dynamics in the solar system

Nonlinear Analysis, Theory, Methods and Applications

Volumn 47, Issue 1, 2001, Pages 179-190

  Berz, M ^a,b   Makino, K ^a,b   Hoefkens, J ^a,b  

^a MICHIGAN STATE UNIVERSITY   (United States)

^b NONE

Author keywords

Dynamics in the solar system; High order multivariate polynomial; Interval method; Taylor model; Verified integration of ODEs

Indexed keywords

ASTROPHYSICS; INTEGRATION; MATHEMATICAL MODELS; NUMERICAL ANALYSIS; ORDINARY DIFFERENTIAL EQUATIONS; POLYNOMIALS;

HIGH ORDER MULTIVARIATE POLYNOMIAL; TAYLOR MODEL;

SOLAR SYSTEM;

EID: 0035422693     PISSN: 0362546X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0362-546X(01)00167-5     Document Type: Article

References (15)

1. Remainder differential algebras and their applications
2. Efficient control of the dependency problem based on Taylor model methods
3. Verified inversion of functional dependencies and superconvergent interval Newton methods
4. Verified integration of ODEs and flows with differential algebraic methods on Taylor models
5. Forward algorithms for high orders and many variables