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

	SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic, DocID: 1xVSx - View Document
	Lower Bounds for Monotone Counting CircuitsI Stasys Jukna1 Institute of Computer Science, Goethe University, Frankfurt am Main, Germany Abstract A monotone arithmetic circuit computes a given multivariate polynomial f if DocID: 1uUTT - View Document
	Efficient Software Implementation of Binary Field Arithmetic Using Vector Instruction Sets Diego F. Aranha Department of Computer Science University of Bras´ılia Joint work with DocID: 1umfa - View Document
	Fast arithmetic for triangular sets: from theory to practice ´ Xin Li Marc Moreno Maza Eric Schost Computer Science Department, The University of Western Ontario, London, Ontario, Canada DocID: 1uhUy - View Document
	TAS-302 COMPUTER BASED NUMERICAL AND STATISTICAL TECHNIQUES L T PUnit-I Introduction: Numbers and their accuracy, Computer Arithmetic, Mathematical DocID: 1tL1G - View Document