A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd
2008
IEEE transactions on computers
Rounding to odd is a non-standard rounding on floating-point numbers. By using it for some intermediate values instead of rounding to nearest, correctly rounded results can be obtained at the end of computations. We present an algorithm for emulating the fused multiply-and-add operator. We also present an iterative algorithm for computing the correctly rounded sum of a set floating-point numbers under mild assumptions. A variation on both previous algorithms is the correctly rounded sum of any
doi:10.1109/tc.2007.70819
fatcat:pjdojhubyfhefhl3n5i6ouy32e