Multiple Precision Interval Packages: Comparing Different Approaches

Markus Grimmer (1) , Knut Petras (1) , Nathalie Revol (1)

1 LIP - Laboratoire de l'Informatique du Parallélisme

We give a survey on packages for multiple precision interval arithmetic, with the main focus on three specific packages. One is within a Maple environment, intpakX, and two are C/C++ libraries, GMP-XSC and MPFI. We discuss their different features, present timing results and show several applications from various fields, where high precision intervals are fundamental.

Dans cet article est effectué un tour d’horizon des outils implémentant l’arithmétique par intervalles en précision multiple. Un coup de projecteur est donné sur trois de ces outils. Le premier est un paquetage développé pour Maple: intpakX, les deux autres sont des bibliothèques C/C++: GMP-XSC et MPFI. Leurs spécificit´es sont présentées,puis leurs performances sont données. Enfin, sont d´eveloppées quelques applications, issues de domaines d’application divers, pour lesquelles l’arithmétique par intervalles à grande précision est fondamentale.

Mots clés: Ease of use; Efficiency; Multiple Precision Interval Arithmetic; Packages; Reliability

Mots clés: fiabilité; Arithmétique par intervalles en précision multiple; paquetages et bibliothéques; facilité d’emploi; efficacité

Domaines: Informatique [cs]

Markus Grimmer, Knut Petras, Nathalie Revol. Multiple Precision Interval Packages: Comparing Different Approaches. [Research Report] LIP RR-2003-32, Laboratoire de l'informatique du parallélisme. 2003, 2+24p. ⟨hal-02101997⟩