Computation of the unit in the first place (ufp) and the unit in the last place (ulp) in precision-\(p\) base \(\beta\)

DOI10.1007/s10543-023-00970-2OpenAlexW4367367420MaRDI QIDQ6038798

Siegfried Michael Rump

Publication date: 3 May 2023

Published in: BIT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10543-023-00970-2

zbMATH Keywords

floating-point arithmeticINTLABsuccessorunit in the first placepredecessorbase-\(\beta\)precision-\(p\)unit in the last place

Mathematics Subject Classification ID

Error analysis and interval analysis (65G99)

Cites Work

• Unnamed Item
• Unnamed Item
• Adaptive precision floating-point arithmetic and fast robust geometric predicates
• Formal verification of a floating-point expansion renormalization algorithm
• Computing predecessor and successor in rounding to nearest
• A floating-point technique for extending the available precision
• Modern Computer Arithmetic
• Emulating Round-to-Nearest Ties-to-Zero “Augmented” Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic
• Handbook of Floating-Point Arithmetic
• Accurate Floating-Point Summation Part I: Faithful Rounding
• Quasi double-precision in floating point addition

This page was built for publication: Computation of the unit in the first place (ufp) and the unit in the last place (ulp) in precision-\(p\) base \(\beta\)