Verifying feasibility of degenerate semidefinite programs. - Vladimir Kolmogorov; Simone Naldi; Jeferson Zapata (CoRR, 2024)

Certifying Solutions of Degenerate Semidefinite Programs. - Vladimir Kolmogorov; Simone Naldi; Jeferson Zapata (SIAM J. Optim., 2025)