A. Abad, R. Barrio, and A. Dena, Computing periodic orbits with arbitrary precision, Physical Review E, vol.84, issue.1, p.16701, 2011.
DOI : 10.1103/PhysRevE.84.016701

D. H. Bailey and J. M. Borwein, High-Precision Arithmetic in Mathematical Physics, Mathematics, vol.7133, issue.2, p.337, 2015.
DOI : 10.1007/s11139-012-9417-3
URL : http://doi.org/10.3390/math3020337

S. Boldo, Iterators: where folds fail In: Workshop on High-Consequence Control Verification, 2016.

S. Boldo and M. Daumas, A mechanically-validated technique for extending the available precision, Conference Record of Thirty-Fifth Asilomar Conference on Signals, Systems and Computers (Cat.No.01CH37256), pp.1299-1303, 2001.
DOI : 10.1109/ACSSC.2001.987700

S. Boldo and G. Melquiond, Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq, 2011 IEEE 20th Symposium on Computer Arithmetic, pp.243-252, 2011.
DOI : 10.1109/ARITH.2011.40
URL : https://hal.archives-ouvertes.fr/inria-00534854

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

Y. Hida, X. S. Li, and D. H. Bailey, Algorithms for quad-double precision floatingpoint arithmetic, Proceedings of the 15th IEEE Symposium on Computer Arithmetic (ARITH-16, pp.155-162, 2001.
DOI : 10.1109/arith.2001.930115
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.6352

C. P. Jeannerod and S. M. Rump, Improved Error Bounds for Inner Products in Floating-Point Arithmetic, SIAM Journal on Matrix Analysis and Applications, vol.34, issue.2, pp.338-344, 2013.
DOI : 10.1137/120894488
URL : https://hal.archives-ouvertes.fr/hal-00840926

M. Joldes, O. Marty, J. M. Muller, and V. Popescu, Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions, IEEE Transactions on Computers, vol.65, issue.4, p.1, 2015.
DOI : 10.1109/TC.2015.2441714
URL : https://hal.archives-ouvertes.fr/hal-01111551

M. Joldes, J. M. Muller, V. Popescu, and W. Tucker, CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications, pp.232-240, 2016.
DOI : 10.1007/978-3-319-42432-3_29
URL : https://hal.archives-ouvertes.fr/hal-01312858

M. Joldes, V. Popescu, and W. Tucker, Searching for Sinks for the H??non Map using a Multipleprecision GPU Arithmetic Library, ACM SIGARCH Computer Architecture News, vol.42, issue.4, pp.63-68, 2014.
DOI : 10.1145/2693714.2693726

P. Kornerup, V. Lefèvre, N. Louvet, and J. M. Muller, On the computation of correctly-rounded sums, Proceedings of the 19th IEEE Symposium on Computer Arithmetic (ARITH-19, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00475279

J. Laskar and M. Gastineau, Existence of collisional trajectories of Mercury, Mars and Venus with the Earth, Nature, vol.317, issue.7248, pp.817-819, 2009.
DOI : 10.1038/nature08096

J. M. Muller, N. Brisebarre, F. De-dinechin, C. P. 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

T. Ogita, S. M. Rump, and S. Oishi, Accurate Sum and Dot Product, SIAM Journal on Scientific Computing, vol.26, issue.6, pp.1955-1988, 2005.
DOI : 10.1137/030601818
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.1547

D. M. Priest, Algorithms for arbitrary precision floating point arithmetic, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, pp.132-144, 1991.
DOI : 10.1109/ARITH.1991.145549
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.3546

D. M. Priest, On Properties of Floating-Point Arithmetics: Numerical Stability and the Cost of Accurate Computations, 1992.

S. M. Rump, T. Ogita, and S. Oishi, Accurate Floating-Point Summation Part I: Faithful Rounding, SIAM Journal on Scientific Computing, vol.31, issue.1, pp.189-224, 2008.
DOI : 10.1137/050645671
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.519.3738

J. R. Shewchuk, Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates, Discrete & Computational Geometry, vol.18, issue.3, pp.305-363, 1997.
DOI : 10.1007/PL00009321