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

First Page		Document Content
Date: 2017-07-31 08:52:27 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 Source URL: www.cs.ox.ac.uk Download Document from Source Website File Size: 190,82 KB Share 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 2006 DocID: 1reF1 - View Document
	Interchange and extended types TS 18661 Part 3 N1691 Jim Thomas 2013-‐04-‐25 Interchange formats DocID: 15rxY - View Document
	Changes to TS 18661 Part 3 Interchange and extended types WG 14 N1765 2013-‐10-‐02 Part 3 draB N1758 DocID: 14Yjl - View Document
	James W Thomas:28 PM Deleted: dd © ISO/IEC 2013 – All rights reserved Working Group Draft – March 14, 2013 DocID: 12qza - View Document
	© ISO 2007 – All rights reserved ISO/IEC JTC1 SC22 WG14 N1312 Date: [removed] DocID: ZWLk - View Document