... years. Today,it is a well established tool for the calculation of rigorous error bounds for many problemsin numerical analysis. Despite its overall success, interval arithmetic suffers from two ... software is available freeof charge to non-commercial users [4]. Using COSY Infinity, Taylor models have been appliedwith great success to a large variety of problems, such as global optimization ... meaningful.Interval arithmetic provides a tool for controlling roundoff errors automatically. Insteadof approximating x by a machine number, the real value x is enclosed into a real intervalX = [x, x] with...