Ball arithmetic

Joris van der Hoeven (1)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]

The Mathemagix project aims at the development of a ''computer analysis'' system, in which numerical computations can be done in a mathematically sound manner. A major challenge for such systems is to conceive algorithms which are both efficient, reliable and available at any working precision. In this paper, we survey several older and newer such algorithms. 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''.

Mots clés: Ball arithmetic; interval arithmetic; reliable computing; computable analysis

Domaines: Logiciel mathématique [cs.MS]

Joris van der Hoeven. Ball arithmetic. 2009. ⟨hal-00432152v3⟩