Verified integration of dynamics in the solar system.
scientific article; zbMATH DE number 2094888