J. Laskar, P. Robutel, F. Joutel, M. Gastineau, A. Correia et al., A long-term numerical solution for the insolation quantities of??the??Earth, Astronomy & Astrophysics, vol.428, issue.1, pp.261-285, 2004.
DOI : 10.1051/0004-6361:20041335
URL : https://hal.archives-ouvertes.fr/hal-00001603

J. Laskar, High precision astronomical solution for paleoclimate studies, EGU General Assembly Conference Abstracts, p.11302, 2013.

A. Farrés-basiana, J. Laskar, S. Blanes, F. Casas-pérez, J. Makazaga et al., High precision symplectic integrators for the solar system, 2013.

A. Wittig and M. Berz, Rigorous high precision interval arithmetic in cosy infinity, Proceedings of the Fields Institute, 2009.

D. H. Bailey and J. M. Borwein, High-precision computation and mathematical physics, 2015.
DOI : 10.2172/983781
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.1047

S. Graillat, ContributionàContribution`Contributionà l'amélioration de la précision etàet`età la validation des algorithmes numériques, HabilitationàHabilitation`Habilitationà Diriger des Recherches, 2013.

S. Boldo, Formal verification of tricky numerical computations Computer Arithmetic and Validated Numerics, 16th GAMM-IMACS International Symposium on Scientific Computing, 2014.

D. Thomas, A general-purpose method for faithfully rounded floatingpoint function approximation in fpgas, Computer Arithmetic (ARITH), 2015 IEEE 22nd Symposium on, pp.42-49, 2015.

K. R. Ghazi, V. Lefevre, P. Theveny, and P. Zimmermann, Why and How to Use Arbitrary Precision, Computing in Science & Engineering, vol.12, issue.3, p.5, 2010.
DOI : 10.1109/MCSE.2010.73
URL : https://hal.archives-ouvertes.fr/inria-00543927

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007.
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00070266

T. Glek and J. Hubicka, 2196 [13] Intel Corporation, Intel 64 and IA-32 Architectures Software Developer's Manual, Instruction Set Reference, A-Z International Organization for Standardization, Programming Languages ? C, vol.214, issue.9899, 1010.

J. Muller, N. Brisebarre, F. De-dinechin, C. Jeannerod, V. Lefèvre et al., Handbook of Floating- Point Arithmetic, 2010.
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167

S. Boldo and G. Melquiond, When double rounding is odd, Proceedings of the 17th IMACS World Congress on Computational and Applied Mathematics, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070603

M. D. Ercegovac and T. Lang, Digital arithmetic, 2004.
URL : https://hal.archives-ouvertes.fr/ensl-00542215

D. Defour and F. D. Dinechin, Software carry-save for fast multipleprecision algorithms, 35th International Congress of Mathematical Software, 2002.