A Decimal Multiple-Precision Interval Arithmetic Library

Abstract : We describe the mechanisms and implementation of a library that define a decimal multiple-precision interval arithmetic. The aim of such a library is to provide guaranteed and accurate results in decimal. This library contains correctly rounded elementary operations and some transcendental functions such as sin, cos or exp. The application fields of such a library are wide from financial calculation to aeronautic engineering. In those fields, complex algorithms are generally designed in high level with decimal numbers. Thus there is a need for correctly rounded decimal arithmetic multiple-precision library. The IEEE 754-2008 [2] revision introduced the definition of decimal floating-point format, with the purpose of providing a basis for a robust and correctly rounded decimal arithmetic. Apart from being IEEE 754-2008 compliant, our library holds several useful properties, such as correct rounding for decimal arbitrary precision. The correctness of some functions will be proven. Furthermore the interval arithmetic will be compliant with the new IEEE 1788-2015 Standard for Interval Arithmetic [3]. Studies of implementation of decimal arithmetic libraries have shown that one of the simplest and efficient way to implement decimal functions is to use their binary counterparts [1]. This method makes it possible to rely on the efficiency of the binary arithmetic and focus more effort only on some critical points. The implementation of this library is based on GMP and MPFR libraries.
Type de document :
Communication dans un congrès
17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. , Sep 2016, Uppsala, Sweden. book of abstracts : 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01539158
Contributeur : Christoph Lauter <>
Soumis le : mercredi 14 juin 2017 - 15:12:41
Dernière modification le : vendredi 31 août 2018 - 09:25:55
Document(s) archivé(s) le : mardi 12 décembre 2017 - 15:38:20

Fichier

scan2016.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01539158, version 1

Collections

Citation

Stef Graillat, Clothilde Jeangoudoux, Christoph Lauter. A Decimal Multiple-Precision Interval Arithmetic Library. 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. , Sep 2016, Uppsala, Sweden. book of abstracts : 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. 〈hal-01539158〉

Partager

Métriques

Consultations de la notice

108

Téléchargements de fichiers

55