Dans cet exposé, nous proposons une introduction à l'arithmétique des boules. Il s'agit d'une variante de l'arithmétique d'intervalles, permettant de faire de l'analyse numerique certifiée, tout en etant mieux adapté au calcul vectoriel et en précision multiple. Nous survolerons quelques techniques classiques, et aborderons quelques questions de complexité algorithmique.

Occasion: JNCF 2010, Luminy, France, May, 7, 2010

Documents: slideshow, TeXmacs source