Additive symmetries: The non-negative case.

DOI10.1016/S0304-3975(02)00223-2zbMath1064.68002OpenAlexW1993958752MaRDI QIDQ1853635

Philippe Langlois, Marc Daumas

Publication date: 21 January 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00223-2

zbMATH Keywords

CorrectionFloating point arithmeticAdditive symmetric valueIEEE-754 standard

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Related Items

More accuracy at fixed precision.

Uses Software

• mctoolbox

Cites Work

• Density results on floating-point invertible numbers.
• A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program
• Automatic linear correction of rounding errors
• Unnamed Item
• Unnamed Item
• Unnamed Item