First Page | Document Content | |
---|---|---|
Date: 2017-07-31 08:52:27Computer 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, 2017Add to Reading ListSource URL: www.cs.ox.ac.ukDownload Document from Source WebsiteFile Size: 190,82 KBShare Document on Facebook |
FAST ROUNDING OF FLOATING POINT NUMBERSDocID: 1rtx5 - View Document | |
CS:APP Web Aside DATA:IA32-FP: Intel IA32 Floating-Point Arithmetic∗ Randal E. Bryant David R. O’Hallaron June 5, 2012DocID: 1rpCG - View Document | |
Lineare Algebra Endliche Arithmetik Walter Gander ETH Z¨ urichDocID: 1rfwa - View Document | |
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format Vincent Lefèvre, Damien Stehlé, Paul Zimmermann LORIA / INRIA Lorraine JNAO 2006DocID: 1reF1 - View Document | |
Hardest-to-Round Cases – Part 2 Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon,DocID: 1rccC - View Document |