On verified numerical computations in convex programming Jansson, Christian 2009 - TUHH Open Research