//-->
An exact duality theory for semidefinite programming based on sums of squares
Klep, Igor, (2013)
Algorithmic aspects of sums of Hermitian squares of noncommutative polynomials
Burgdorf, Sabine, (2013)