An Interval Arithmetic for Robust Error Estimation

Oliver Flatt, Pavel Panchekha

Interval arithmetic is a simple way to compute a mathematical expression to an arbitrary accuracy, widely used for verifying floating-point computations. Yet this simplicity belies…