Motivations for an arbitrary precision interval arithmetic and the MPFI library

Nathalie Revol 1 Fabrice Rouillier 2
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : This paper justifies why an arbitrary precision interval arithmetic is needed. To provide accurate results, interval computations require small input intervals; this explains why bisection is so often employed in interval algorithms. The MPFI library has been built in order to fulfill this need. Indeed, no existing library met the required specifications. The main features of this library are briefly given and a comparison with a fixed-precision interval arithmetic, on a specific problem, is presented. It shows that the overhead due to the multiple precision is completely acceptable. Eventually, some applications based on MPFI are given: robotics, isolation of polynomial real roots (by an algorithm combining symbolic and numerical computations) and approximation of real roots with arbitrary accuracy.
Type de document :
Article dans une revue
Reliable Computing, Springer Verlag, 2005, 11 (4), pp.275-290. 〈10.1007/s11155-005-6891-y〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00544998
Contributeur : Nathalie Revol <>
Soumis le : jeudi 9 décembre 2010 - 13:20:33
Dernière modification le : vendredi 31 août 2018 - 09:25:58

Lien texte intégral

Identifiants

Collections

Citation

Nathalie Revol, Fabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the MPFI library. Reliable Computing, Springer Verlag, 2005, 11 (4), pp.275-290. 〈10.1007/s11155-005-6891-y〉. 〈inria-00544998〉

Partager

Métriques

Consultations de la notice

199