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]
@article{BoldoLM21,
title = {Emulating Round-to-Nearest Ties-to-Zero "Augmented" Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic},
author = {Sylvie Boldo and Christoph Quirin Lauter and Jean-Michel Muller},
year = {2021},
doi = {10.1109/TC.2020.3002702},
url = {https://doi.org/10.1109/TC.2020.3002702},
researchr = {https://researchr.org/publication/BoldoLM21},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Computers},
volume = {70},
number = {7},
pages = {1046-1058},
}