TY - RPRT TI - A computer assisted proof for 100,000 years stability of the solar system AU - Angel Zhivkov AU - Ivaylo Tounchev PY - 2022 UR - https://arxiv.org/abs/2206.13467 ID - 2206.13467 ER -