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 our talk, 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”.

Occasion: ACA 2010, Vlora, Albania, June 2010

Documents: slideshow, TeXmacs source