Fused Multiply Add

Posted by Beetle B. on Tue 22 January 2019

Let \(o\) be the rounding function, and \(a,b,c\) are floating point numbers. Then \(\mathrm{FMA}(a,b,c)\) is \(o(ab+c)\).