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
URL : http://arxiv.org/abs/0902.1105

E. De-klerk and R. Sotirov, A new library of structured semidefinite programming instances, Optimization Methods and Software, vol.24, issue.6, pp.959-971, 2009.
DOI : 10.1080/10556780902896608

D. Simmons-duffin, A semidefinite program solver for the conformal bootstrap, Journal of High Energy Physics, vol.87, issue.6, p.174, 2015.
DOI : 10.1137/1.9781611970791

R. D. Monteiro, Primal--Dual Path-Following Algorithms for Semidefinite Programming, SIAM Journal on Optimization, vol.7, issue.3, pp.663-678, 1997.
DOI : 10.1137/S1052623495293056
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.7072

M. Yamashita, K. Fujisawa, M. Fukuda, K. Kobayashi, K. Nakata et al., Latest developments in the SDPA family for solving large-scale SDPs, " in Handbook on semidefinite, conic and polynomial optimization, pp.687-713, 2012.

B. Borchers, CSDP, A C library for semidefinite programming, Optimization Methods and Software, vol.6, issue.1-4, pp.613-623, 1999.
DOI : 10.1145/292395.292412
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.5364

J. F. Sturm, Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones, Optimization Methods and Software, vol.81, issue.1-4, pp.625-653, 1999.
DOI : 10.1287/moor.19.1.53
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.6954

K. Toh, M. Todd, and R. Tutuncu, SDPT3 ??? A Matlab software package for semidefinite programming, Version 1.3, Optimization Methods and Software, vol.79, issue.1-4, pp.545-581, 1999.
DOI : 10.1287/moor.19.1.53

M. Nakata and S. , A numerical evaluation of highly accurate multiple-precision arithmetic version of semidefinite programming solver, 2010 IEEE International Symposium on Computer- Aided Control System Design, pp.29-34, 2010.

B. Borchers, SDPLIB 1.2, a library of semidefinite programming test problems, Optimization Methods and Software, vol.79, issue.1-4, pp.683-690, 1999.
DOI : 10.1137/1038003

M. Laurent, Sums of squares, moment matrices and optimization over polynomials, " in Emerging applications of algebraic geometry, pp.157-270, 2009.

D. Henrion, S. Naldi, and M. , Safey El Din SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic, 2016.

T. Granlund, GMP, the GNU multiple precision arithmetic library, version 4.1.2, 2002.

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

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

T. J. Dekker, A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971.
DOI : 10.1007/BF01397083

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

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

M. Joldes, V. Popescu, and J. Muller, Tight and rigourous error bounds for basic building blocks of double-word arithmetic, working paper or preprint Available: https, 2016.

M. Yamashita, K. Fujisawa, and M. Kojima, Implementation and evaluation of SDPA 6.0 (Semidefinite Programming Algorithm 6.0), Optimization Methods and Software, vol.18, issue.4, pp.491-505, 2003.
DOI : 10.1080/1055678031000118482

K. Nakata, B. , and L. , The MPACK (MBLAS/MLAPACK) a multiple precision arithmetic version of, pp.2008-2012

M. Nakata, Y. Takao, S. Noda, and R. Himeno, A fast implementation of matrix-matrix product in doubledouble precision on NVIDIA C2050 and application to semidefinite programming, 2012 Third International Conference on Networking and Computing, pp.68-75, 2012.

G. Tan, L. Li, S. Triechle, E. Phillips, Y. Bao et al., Fast implementation of DGEMM on Fermi GPU, Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis on, SC '11, p.35, 2011.
DOI : 10.1145/2063384.2063431

A. Schrijver, New Code Upper Bounds From the Terwilliger Algebra and Semidefinite Programming, IEEE Transactions on Information Theory, vol.51, issue.8, pp.2859-2866, 2005.
DOI : 10.1109/TIT.2005.851748
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.9632

M. Laurent, Strengthened semidefinite programming bounds for codes Mathematical programming, pp.239-261, 2007.
DOI : 10.1007/s10107-006-0030-3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.226.4464