Formally Verified Argument Reduction with a Fused Multiply-Add
2009 ◽
Vol 58
(8)
◽
pp. 1139-1145
◽
Keyword(s):
1991 ◽
Vol 14
(1)
◽
pp. 1-39
◽
2003 ◽
pp. 802-807
◽
Keyword(s):
1995 ◽
Vol 44
(11)
◽
pp. 1348-1351
◽