MPFR - PDFSEARCH.IO - Document Search Engine

MPFR
Results: 54

#	Item
11	Introduction to the GNU MPFR Library Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GNU Hackers Meeting, Paris, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic GNU MPFR GNU Multiple Precision Arithmetic Library Rounding Paul Zimmermann GNU Compiler Collection GNU Fixed-point arithmetic IEEE floating point Floating point IEEE 754-1985
12	Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon SIESTE, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Rounding GNU MPFR IEEE floating point Floating point Double-precision floating-point format Signed zero Significant figures C99 GNU Multiple Precision Arithmetic Library Multiplyaccumulate operation Single-precision floating-point format
13	The Generic Multiple-Precision Floating-Point Addition With Correct Rounding (as in the MPFR Library) Vincent L EFÈVRE Loria / INRIA Lorraine 6th Conference on Real Numbers and Computers Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic GNU MPFR Floating point Rounding Significant figures
14	Vincent Lef` evre, Loria / INRIA Lorraine, SPACES project MPFR MPFR – Main Features Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic GNU MPFR GNU Multiple Precision Arithmetic Library Rounding Extended precision Floating point Double-precision floating-point format Interval arithmetic Exponentiation
15	Hardest-to-Round Cases Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Exponentials GNU MPFR Double-precision floating-point format DWIM Exponential function Exponentiation
16	The design of the Boost interval arithmetic library ? Herv´e Br¨onnimann a,1 Guillaume Melquiond b,2 Sylvain Pion c,3 a CIS, b Ecole ´ Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Mathematics Computer arithmetic Arithmetic Numerical analysis Functions and mappings Interval arithmetic Interval Rounding Integral GNU MPFR Mode Function
17	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 Language: English - 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
18	MPFR The Multiple Precision Floating-Point Reliable Library 高品質多倍長浮動小数点ライブラリ EditionSeptember 2005 Add to Reading List Source URL: na-inet.jp Language: Japanese - Date: 2014-05-04 08:55:52
19	Short Division of Long Integers (joint work with David Harvey) Paul Zimmermann October 6, 2011 Add to Reading List Source URL: caramba.loria.fr Language: English - Date: 2016-06-13 15:37:32 Mathematics Computer arithmetic Software Algebra Paul Zimmermann Division algorithm GNU Multiple Precision Arithmetic Library GNU MPFR Rounding Division Integer Remainder
20	MPFR The Multiple Precision Floating-Point Reliable Library 高品質多倍長浮動小数点ライブラリ EditionNovember 2004 Add to Reading List Source URL: na-inet.jp Language: Japanese - Date: 2014-05-04 08:55:52