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].
Liste complète des métadonnées

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

http://hal.upmc.fr/hal-01451162
Contributeur : Clothilde Jeangoudoux <>
Soumis le : mercredi 8 février 2017 - 15:36:44
Dernière modification le : mardi 30 mai 2017 - 01:17:29
Document(s) archivé(s) le : mardi 9 mai 2017 - 12:24:33

Fichier

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

Identifiants

  • HAL Id : hal-01451162, version 1

Collections

Relations

Citation

Stef Graillat, Clothilde Jeangoudoux, Christoph Lauter. MPDI: A Decimal Multiple-Precision Interval Arithmetic Library. Reliable Computing Journal, 2017. 〈hal-01451162〉

Partager

Métriques

Consultations de la notice

330

Téléchargements de fichiers

166