Rigorous Error Bounds for the Optimal Value in Semidefinite Programming. - Christian Jansson; Denis Chaykin; Christian Keil (SIAM J. Numer. Anal., 2007)