Numerical Toolbox for Verified Computing by Matthias Hocks & Rolf Hammer