C Goel, S Kuhlmann,
B Reznick - Linear Algebra and its Applications, 2016 - Elsevier
A famous theorem of Hilbert from 1888 states that for given n and d, every positive
semidefinite (psd) real form of degree 2d in n variables is a sum of squares (sos) of real …