Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic
From MaRDI portal
Publication:4581373
DOI10.1145/3121432zbMATH Open1484.65103OpenAlexW2482799402WikidataQ113310105 ScholiaQ113310105MaRDI QIDQ4581373FDOQ4581373
Authors: Jean-Michel Muller, Valentina Popescu, 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
Recommendations
- Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”
- Tight Error Analysis in Fixed-Point Arithmetic
- Tight Error Analysis in Fixed-point Arithmetic
- Bit-precise verification of discontinuity errors under fixed-point arithmetic
- scientific article; zbMATH DE number 1206068
- Bounds and trade-offs for double-base number systems
- On the complexity of computing error bounds
- Tight Bounds on Computing Error-Correcting Codes by Bounded-Depth Circuits With Arbitrary Gates
- Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates
- On Lower Bounds for Constant Width Arithmetic Circuits
Cited In (6)
- Mixed precision algorithms in numerical linear algebra
- Floating-point arithmetic
- Accurate calculation of Euclidean norms using double-word arithmetic
- On bound of a large number annihilating a small number in addition operation of two numbers with same sign: numerical experiment
- Enclosing Chebyshev expansions in linear time
- Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”
This page was built for publication: Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4581373)
