An efficient software implementation of correctly rounded operations extending FMA: A + b + c and a b + c d.

Christoph Quirin Lauter

Browse the full ACSSC paper archive.