Bit-Exact Automated Reasoning About Floating-Point Arithmetic Martin Brain University of Oxford February 2, 2015

First Page		Document Content
Date: 2015-02-05 02:12:12 Numbers Floating point Computer science IEEE 754-2008 Decimal floating point Double-precision floating-point format Computer arithmetic Data types Computing		Bit-Exact Automated Reasoning About Floating-Point Arithmetic Martin Brain University of Oxford February 2, 2015 Add to Reading List Source URL: www.spark-2014.org Download Document from Source Website File Size: 245,60 KB Share Document on Facebook

	FAST ROUNDING OF FLOATING POINT NUMBERS DocID: 1rtx5 - View Document
	CS:APP Web Aside DATA:IA32-FP: Intel IA32 Floating-Point Arithmetic∗ Randal E. Bryant David R. O’Hallaron June 5, 2012 DocID: 1rpCG - View Document
	Lineare Algebra Endliche Arithmetik Walter Gander ETH Z¨ urich DocID: 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 2006 DocID: 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