Tight and rigourous error bounds for basic building blocks of double-word arithmetic

Abstract : We analyze several classical basic building blocks of double-word arithmetic (frequently called " double-double arithmetic " in the literature): the addition of a double-word number and a floating-point number, the addition of two double-word numbers, the multiplication of a double-word number by a floating-point number, the multiplication of two double-word numbers, the division of a double-word number by a floating-point number , and the division of two double-word numbers. For multiplication and division we get better relative error bounds than the ones previously published. For addition of two double-word numbers, we show that the previously published bound was wrong, and we provide a relative error bound. We introduce new algorithms for division. We also give examples that illustrate the tightness of our bounds.
Type de document :
Article dans une revue
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2017, 44 (2), pp.1 - 27. 〈10.1145/3121432〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01351529
Contributeur : Jean-Michel Muller <>
Soumis le : mercredi 18 octobre 2017 - 10:01:04
Dernière modification le : mercredi 6 décembre 2017 - 10:18:14

Fichier

a15res-joldes.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Mioara Joldes, Jean-Michel Muller, Valentina Popescu. Tight and rigourous error bounds for basic building blocks of double-word arithmetic. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2017, 44 (2), pp.1 - 27. 〈10.1145/3121432〉. 〈hal-01351529v3〉

Partager

Métriques

Consultations de la notice

87

Téléchargements de fichiers

33