Verified integration of dynamics in the solar system.

DOI10.1016/S0362-546X(01)00167-5zbMath1042.70501OpenAlexW1997851957MaRDI QIDQ1875034

Kyoko Makino, Martin Berz, Jens Hoefkens

Publication date: 26 August 2004

Published in: Nonlinear Analysis. Theory, Methods \& Applications. Series A: Theory and Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0362-546x(01)00167-5

Mathematics Subject Classification ID

Computational methods for problems pertaining to mechanics of particles and systems (70-08) Numerical methods for initial value problems involving ordinary differential equations (65L05) Celestial mechanics (70F15)

Related Items (2)

An application of Taylor models to the Nakao method on ODEs ⋮ Set membership state and parameter estimation for systems described by nonlinear differential equations

Uses Software

• INTOPT_90

This page was built for publication: Verified integration of dynamics in the solar system.