Convex Optimization for Numerical Computations Achieving Verifiable Estimates - View it on GitHub