Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay Île-de-France,

First Page		Document Content
Date: 2012-06-28 09:41:10 Computer arithmetic Arithmetic Mathematics Computing Rounding IEEE floating point GNU MPFR Arbitrary-precision arithmetic Division algorithm Unit in the last place Pi Double-precision floating-point format		Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay Île-de-France, Add to Reading List Source URL: www.lri.fr Download Document from Source Website File Size: 343,84 KB Share Document on Facebook

	302 IEEE TRANSACTIONS ON COMPUTERS, VOL. 44, NO. 2. FEBRUARY 1995 Floating Point Fault Tolerance with Backward Error Assertions DocID: 1uhwZ - View Document
	FAST ROUNDING OF FLOATING POINT NUMBERS DocID: 1rtx5 - View Document
	MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding Laurent Fousse, Guillaume Hanrot, Vincent Lef`evre, Patrick P´elissier, Paul Zimmermann LORIA, 615 rue du jardin botanique, FVillers- DocID: 1rtij - 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
	Printing Floating-Point Numbers Quickly and Accurately Robert G. Burger∗ R. Kent Dybvig Indiana University Computer Science Department DocID: 1rhzt - View Document