Skip to Main content Skip to Navigation
Journal articles

MPDI: A Decimal Multiple-Precision Interval Arithmetic Library

Abstract : We describe the mechanisms and implementation of a library that defines 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 (for decimal arbitrary precision), fast and reliable basic operations and some elementary functions. Furthermore the decimal representation is IEEE 754-2008 compatible, and the interval arithmetic is compliant with the new IEEE 1788-2015 Standard for Interval Arithmetic [2].
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01451162
Contributor : Clothilde Jeangoudoux <>
Submitted on : Wednesday, February 8, 2017 - 3:36:44 PM
Last modification on : Wednesday, June 5, 2019 - 11:00:43 AM
Document(s) archivé(s) le : Tuesday, May 9, 2017 - 12:24:33 PM

File

SCAN2016_Paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01451162, version 1

Relations

Citation

Stef Graillat, Clothilde Jeangoudoux, Christoph Lauter. MPDI: A Decimal Multiple-Precision Interval Arithmetic Library. Reliable Computing Journal, 2017, Volume 25 (Special volume containing refereed papers from SCAN 2016), 25, pp.38-52. ⟨hal-01451162⟩

Share

Metrics

Record views

671

Files downloads

401