Certifying solutions of degenerate semidefinite programs

Vladimir Kolmogorov, Simone Naldi, Jeferson Zapata

This paper deals with the algorithmic aspects of solving feasibility problems of semidefinite programming (SDP), aka linear matrix inequalities (LMI). Since in some SDP instances a…