Generating a Minimal Interval Arithmetic Based on GNU MPFR (in the context of the search for hard-to-round cases) Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes LIP, ENS-Lyon - MPFR - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-06-18 06:12:50 Computer arithmetic Software Computing Mathematics GNU MPFR Rounding Interval arithmetic GNU Multiple Precision Arithmetic Library Maple Fixed-point arithmetic IEEE floating point TeX		Generating a Minimal Interval Arithmetic Based on GNU MPFR (in the context of the search for hard-to-round cases) Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Add to Reading List Source URL: www.vinc17.org Download Document from Source Website File Size: 164,45 KB Share Document on Facebook

	General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1, General Terms and Conditions of ITEMIS AG for Software Licenses DocID: 1xW2N - View Document
	Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China DocID: 1xW1R - View Document
	GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh DocID: 1xW1G - View Document
	Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith DocID: 1xW0L - View Document
	AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have DocID: 1xW0u - View Document