Rigorous error bounds for the optimal value in semidefinite programming Jansson, Christian Chaykin, Denis Keil, Christian 2007 - TUHH Open Research