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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01351529
Contributor : Jean-Michel Muller <>
Submitted on : Wednesday, October 18, 2017 - 10:01:04 AM
Last modification on : Friday, April 27, 2018 - 2:40:07 PM
Long-term archiving on : Friday, January 19, 2018 - 12:23:24 PM

File

a15res-joldes.pdf
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

924

Files downloads

3245