Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata

Cited literature [2 references]  Display  Hide  Download
Contributor : Christoph Lauter <>
Submitted on : Wednesday, June 14, 2017 - 3:12:41 PM
Last modification on : Friday, January 8, 2021 - 5:40:03 PM
Long-term archiving on: : Tuesday, December 12, 2017 - 3:38:20 PM


Files produced by the author(s)


  • HAL Id : hal-01539158, version 1


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⟩



Record views


Files downloads