Numerical Toolbox for Verified Computing door Matthias Hocks & Rolf Hammer