Sylvie Boldo, Marc Daumas, Ren-Cang Li. Formally Verified Argument Reduction with a Fused Multiply-Add. IEEE Transactions on Computers, 58(8):1139-1145, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.