First Page | Document Content | |
---|---|---|
Date: 2012-06-28 09:41:10Computer 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 ListSource URL: www.lri.frDownload Document from Source WebsiteFile Size: 343,84 KBShare Document on Facebook |
302 IEEE TRANSACTIONS ON COMPUTERS, VOL. 44, NO. 2. FEBRUARY 1995 Floating Point Fault Tolerance with Backward Error AssertionsDocID: 1uhwZ - View Document | |
FAST ROUNDING OF FLOATING POINT NUMBERSDocID: 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, 2012DocID: 1rpCG - View Document | |
Printing Floating-Point Numbers Quickly and Accurately Robert G. Burger∗ R. Kent Dybvig Indiana University Computer Science DepartmentDocID: 1rhzt - View Document |