A proof of the solar system stability for the next 100 000 years
scientific article; zbMATH DE number 7897296