THE MPFR LIBRARY: ALGORITHMS AND PROOFS THE MPFR TEAM Contents 1. Notations and Assumptions 2. Error calculus

First Page		Document Content
Date: 2009-06-22 08:55:19 Rounding Floating point MPFR Mathematics Computing Computer arithmetic Unit in the last place Numbers		THE MPFR LIBRARY: ALGORITHMS AND PROOFS THE MPFR TEAM Contents 1. Notations and Assumptions 2. Error calculus Add to Reading List Source URL: www.mpfr.org Download Document from Source Website File Size: 452,53 KB Share Document on Facebook

	AT&T Bell Laboratories Numerical Analysis ManuscriptCorrectly Rounded Binary-Decimal and Decimal-Binary Conversions DocID: 1oJV1 - View Document
	Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay Île-de-France, DocID: 1o0ql - View Document
	Rounding Errors in Complex Floating-Point Multiplication Colin Percival IRMACS, Simon Fraser University DocID: 1lXui - View Document
	Some Functions Computable with a Fused-mac Sylvie Boldo and Jean-Michel Muller Laboratoire LIP (CNRS/ENS Lyon/Inria/Univ. lyon 1), Projet Ar´enaire, 46 all´ee d’Italie, 69364 Lyon Cedex 07, F RANCE Sylvie.Boldo@ens-l DocID: 19Hz4 - View Document
	THE MPFR LIBRARY: ALGORITHMS AND PROOFS THE MPFR TEAM Contents 1. Notations and Assumptions 2. Error calculus DocID: 18teE - View Document