Christian Jansson Denis Chaykin Christian Keil Rigorous Error Bounds for the Optimal Value in Semidefinite Programming. 180-200 2007 46 SIAM J. Numerical Analysis 1 http://dx.doi.org/10.1137/050622870 db/journals/siamnum/siamnum46.html#JanssonCK07