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

	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