Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”

From MaRDI portal
Publication:5066604

DOI10.1145/3484514OpenAlexW4213324292WikidataQ113309853 ScholiaQ113309853MaRDI QIDQ5066604

Jean-Michel Muller, Laurence Rideau

Publication date: 29 March 2022

Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3484514




Related Items (1)



Cites Work


This page was built for publication: Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”