On verified numerical computations in convex programming
scientific article; zbMATH DE number 5674924
scientific article