Verifying exactness of relaxations for robust semi-definite programs by solving polynomial systems

From MaRDI portal