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

	1 Cellular growth and division in the Gillespie algorithm Ting Lu1 , Dmitri Volfson2,3 , Lev Tsimring2 and Jeff Hasty3 1 DocID: 1vcMv - View Document
	Firehose: An Algorithm for Distributed Page Registration on Clusters of SMPs Christian Bell Rajesh Nishtala May 2004: CS262B Final Project Computer Science Division DocID: 1tJkd - View Document
	1 Solving Triangular Systems More Accurately and Efficiently Ph. Langlois, N. Louvet DALI-LP2A Laboratory. Universit´e de Perpignan. 52, avenue Paul Alduy. FPerpignan cedex. DocID: 1rgin - View Document
	published in SIAM Journal on Scientific Computing (SISC), 26(6):, ACCURATE SUM AND DOT PRODUCT∗ TAKESHI OGITA †, DocID: 1raFt - View Document
	SOUTHWICK C E PRIMARY SCHOOL CALCULATION POLICY Multiplication Reception Year DocID: 1qMRJ - View Document