Numerical Toolbox for Verified Computing I | lit.salon