 |
|
|
|
| HAL : hal-00432152, version 3 |
| Fiche détaillée |  Récupérer au format |
|
|
| Versions disponibles : | v1 (14-11-2009) | v2 (22-11-2009) | v3 (04-04-2011) |
|
|
|
|
| Ball arithmetic |
|
|
Joris Van Der Hoeven 1 |
|
|
| MaGiX Collaboration(s) |
|
|
| (22/11/2009) |
|
|
|
| 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''. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique de l'école polytechnique (LIX) |
|
|
|
CNRS : UMR7161 – Polytechnique - X |
|
|
|
|
|
|
|
|
|
| LIX |
|
|
|
|
| Domaine | : | Informatique/Logiciel mathématique |
|
|
| Ball arithmetic – interval arithmetic – reliable computing – computable analysis |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00432152, version 3 | |
| http://hal.archives-ouvertes.fr/hal-00432152 | |
| oai:hal.archives-ouvertes.fr:hal-00432152 | |
| Contributeur : Joris Van Der Hoeven | |
| Soumis le : Samedi 2 Avril 2011, 19:02:38 | |
| Dernière modification le : Lundi 4 Avril 2011, 11:14:13 | |
