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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [2 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01539158
Contributor : Christoph Lauter <>
Submitted on : Wednesday, June 14, 2017 - 3:12:41 PM
Last modification on : Thursday, March 21, 2019 - 12:59:32 PM
Document(s) archivé(s) le : Tuesday, December 12, 2017 - 3:38:20 PM

File

scan2016.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01539158, version 1

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. ⟨hal-01539158⟩

Share

Metrics

Record views

122

Files downloads

59