Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic

DOI10.1145/3121432zbMath1484.65103OpenAlexW2482799402WikidataQ113310105 ScholiaQ113310105MaRDI QIDQ4581373

Valentina Popescu, Jean-Michel Muller, Mioara Joldes

Publication date: 17 August 2018

Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3121432

zbMATH Keywords

floating-point arithmeticdouble-double arithmeticdouble-word arithmeticerror-free transforms

Mathematics Subject Classification ID

Roundoff error (65G50) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items (4)

Mixed precision algorithms in numerical linear algebra ⋮ Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic” ⋮ Floating-point arithmetic ⋮ Enclosing Chebyshev Expansions in Linear Time

This page was built for publication: Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic