Guaranteed Computation with Floating-point Numbers

One of the main features of interval analysis is its ability to provide boxes guaranteed to contain the image of a given box by a function. This containment property has to be preserved by computer implementation. The intervals computed using a finite-precision representation of real numbers should therefore always contain those that would be obtained with an infinite precision. A trade-off should moreover be found between execution time and accuracy of interval evaluation.