The origin of chaos in the Solar System through computer algebra Federico Mogavero and Jacques Laskar A&A, 662 (2022) L3 Published online: 03 June 2022 DOI: 10.1051/0004-6361/202243327