Exact algorithms for semidefinite programs with degenerate feasible set

Didier Henrion, Simone Naldi, Mohab Safey El Din

Given symmetric matrices $A_0,A_1,\dots ,A_n$ of size $m$ with rational entries, the set of real vectors $x=(x_1,\dots ,x_n)$ such that the matrix $A_0 + x_1 A_1 + \cdots +…