M. Joldes, V. Popescu, and W. Tucker, Searching for sinks for the Hnon map using a multiple-precision GPU arithmetic library, SIGARCH Comput. Archit. News, vol.42, issue.4, p.6368, 2014.

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

D. H. Bailey, J. M. Borwein, P. B. Borwein, and S. Plouffe, The quest for PI, The Mathematical Intelligencer, vol.7, issue.3, pp.50-57, 1997.
DOI : 10.1007/BF03024340

D. H. Priest, Algorithms for arbitrary precision floating point arithmetic, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, p.132144, 1991.
DOI : 10.1109/ARITH.1991.145549

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

Y. Hida, X. S. Li, and D. Bailey, Algorithms for quad-double precision floating point arithmetic, Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, p.155162, 2001.
DOI : 10.1109/ARITH.2001.930115

H. D. Mittelmann and F. Vallentin, High-Accuracy Semidefinite Programming Bounds for Kissing Numbers, Experimental Mathematics, vol.19, issue.2, pp.175-179, 2010.
DOI : 10.1080/10586458.2010.10129070

M. Yamashita, K. Fujisawa, M. Fukuda, K. Kobayashi, K. Nakata et al., Latest Developments in the SDPA Family for Solving Large-Scale SDPs, Handbook on Semidefinite, Conic and Polynomial Optimization of International Series in Operations Research & Management Science, p.687713, 2012.
DOI : 10.1007/978-1-4614-0769-0_24

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

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

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

J. Muller, V. Popescu, P. Tak, and P. Tang, A New Multiplication Algorithm for Extended Precision Using Floating-Point Expansions, 2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH), 2016.
DOI : 10.1109/ARITH.2016.18
URL : https://hal.archives-ouvertes.fr/hal-01298195

M. Nakata and S. , A numerical evaluation of highly accurate multiple-precision arithmetic version of semidefinite programming solver, 2010 IEEE International Symposium on, 2010.