Analysis of information sources in references of the Wikipedia article "Interval arithmetic" in English language version.
In traditional (inf-sup) interval arithmetic, both endpoints of an interval [a, b] are full-precision numbers, which makes interval arithmetic twice as expensive as floating-point arithmetic. In ball arithmetic, only the midpoint m of an interval [m ± r] is a full-precision number, and a few bits suffice for the radius r. At high precision, ball arithmetic is therefore not more expensive than plain floating-point arithmetic.
We mainly concentrate on the automatic and efficient computation of high quality error bounds, based on a variant of interval arithmetic which we like to call "ball arithmetic".
