Back to Results
First PageMeta Content
Computer arithmetic / Arithmetic / Computing / Binary arithmetic / Theory of computation / Data types / IEEE standards / Decimal64 floating-point format / IEEE 754 / Double-precision floating-point format / cole normale suprieure de Lyon / Algorithm


Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017
Add to Reading List

Document Date: 2017-07-31 08:52:27

Open Document

File Size: 190,82 KB

Share Result on Facebook