A method of verified computation for convex programming
The 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics(SCAN2016), UPPSALA UNIVERSITY, Sweden