An exact duality theory for semidefinite programming based on sums of squares

Igor Klep, Markus Schweighofer

Farkas' lemma is a fundamental result from linear programming providing linear certificates for infeasibility of systems of linear inequalities. In semidefinite programming, such l…