Introduction Interval Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France - Demographics of Oceania - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-07-18 04:25:02 Mathematics Computer arithmetic Real number Floating-point arithmetic Arbitrary-precision arithmetic Algorithm Interval Complex number		Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France Add to Reading List Source URL: smt2014.it.uu.se Download Document from Source Website File Size: 445,90 KB Share Document on Facebook

	Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller DocID: 1xU7F - View Document
	Introduction Taylor model arithmetic using floating-point arithmetic Getting even more accuracy Conclusion Diddl - Goletz DocID: 1xTMd - 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
	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