Tight and rigourous error bounds for basic building blocks of double-word arithmetic - Archive ouverte HAL
Article Dans Une Revue ACM Transactions on Mathematical Software Année : 2017

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

Mioara Joldes
Valentina Popescu
  • Fonction : Auteur
  • PersonId : 987281

Résumé

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.
Fichier principal
Vignette du fichier
Bailey2add2mult-revision-sent.pdf (386.12 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01351529 , version 1 (03-08-2016)
hal-01351529 , version 2 (29-03-2017)
hal-01351529 , version 3 (18-10-2017)

Identifiants

  • HAL Id : hal-01351529 , version 2

Citer

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, 2017. ⟨hal-01351529v2⟩
1367 Consultations
4351 Téléchargements

Partager

More