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 |
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 | |
Interchange and extended types TS 18661 Part 3 N1691 Jim Thomas 2013-‐04-‐25 Interchange formatsDocID: 15rxY - View Document | |
Changes to TS 18661 Part 3 Interchange and extended types WG 14 N1765 2013-‐10-‐02 Part 3 draB N1758DocID: 14Yjl - View Document | |
James W Thomas:28 PM Deleted: dd © ISO/IEC 2013 – All rights reserved Working Group Draft – March 14, 2013DocID: 12qza - View Document | |
© ISO 2007 – All rights reserved ISO/IEC JTC1 SC22 WG14 N1312 Date: [removed]DocID: ZWLk - View Document |