L. Chua, D. Plaumann, R. Sinn, and C. Vinzant, Gram spectrahedra, 2016.

J. Faugère, FGb: A Library for Computing Gr??bner Bases, Mathematical Software -ICMS 2010, pp.84-87, 2010.
DOI : 10.1007/978-3-642-15582-6_17

D. Henrion, S. Naldi, and M. , Safey El Din. Exact algorithms for linear matrix inequalities, 2015.

E. L. Kaltofen, B. Li, Z. Yang, and L. Zhi, Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients, Journal of Symbolic Computation, vol.47, issue.1, pp.1-15, 2012.
DOI : 10.1016/j.jsc.2011.08.002

J. B. Lasserre, Moments, Positive Polynomials and Their Applications, 2010.
DOI : 10.1142/p665

S. Naldi, Exact algorithms for determinantal varieties and semidefinite programming, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01212502

J. Nie, K. Ranestad, and B. Sturmfels, The algebraic degree of semidefinite programming, Mathematical Programming, vol.296, issue.12, pp.379-405, 2010.
DOI : 10.1007/s10107-008-0253-6

H. Peyrl and P. A. Parrilo, Computing sum of squares decompositions with rational coefficients, Theoretical Computer Science, vol.409, issue.2, p.269281, 2008.
DOI : 10.1016/j.tcs.2008.09.025

C. Scheiderer, Sums of squares of polynomials with rational coefficients, Journal of the European Mathematical Society, vol.18, issue.7, p.14951513, 2016.
DOI : 10.4171/JEMS/620

M. J. Todd, Semidefinite optimization, Acta Numerica, vol.10, pp.515-560, 2001.
DOI : 10.1017/S0962492901000071
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.5569

C. Vinzant, What is... a spectrahedron ? Notices of the AMS, pp.492-494, 2014.

L. Vandenberghe and S. P. Boyd, Semidefinite Programming, SIAM Review, vol.38, issue.1, pp.49-95, 1996.
DOI : 10.1137/1038003