Emulating Round-to-Nearest Ties-to-Zero "Augmented" Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic

Sylvie Boldo, Christoph Quirin Lauter, Jean-Michel Muller. Emulating Round-to-Nearest Ties-to-Zero "Augmented" Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic. IEEE Transactions on Computers, 70(7):1046-1058, 2021. [doi]

Abstract

Abstract is missing.