Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes LIP, ENS-Lyon SIESTE, - Computer arithmetic - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-06-18 06:12:50 Computer arithmetic Rounding GNU MPFR IEEE floating point Floating point Double-precision floating-point format Signed zero Significant figures C99 GNU Multiple Precision Arithmetic Library Multiplyaccumulate operation Single-precision floating-point format		Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon SIESTE, Add to Reading List Source URL: www.vinc17.org Download Document from Source Website File Size: 989,27 KB Share Document on Facebook

	GNU MP The GNU Multiple Precision Arithmetic Library EditionDecemberby Torbj¨ DocID: 1ubTr - 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
	Benchmark of an MPFR emulation of Binary128 arithmetic September 13, 2013 Abstract are displayed in Table 2. The compiler options were DocID: 1rpEh - View Document
	Introduction to the GNU MPFR Library Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GdT AriC, DocID: 1rbcb - View Document
	Generating a Minimal Interval Arithmetic Based on GNU MPFR (in the context of the search for hard-to-round cases) Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon DocID: 1qtUE - View Document