Article Dans Une Revue Reliable Computing Journal Année : 2017

MPDI: A Decimal Multiple-Precision Interval Arithmetic Library

Résumé

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].

Fichier principal
Vignette du fichier
SCAN2016_Paper.pdf (661.53 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...
HAL

Référence inria-00072090 Rapport Nathalie Revol, Fabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the MPFI library. [Research Report] RR-4498, LIP RR-2002-27, INRIA, LIP. 2002. ⟨inria-00072090⟩

Dates et versions

hal-01451162 , version 1 (08-02-2017)

Licence

Identifiants

  • HAL Id : hal-01451162 , version 1

Citer

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⟩
769 Consultations
798 Téléchargements

Partager

  • More