[PDF] Top 20 MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding
Has 10000 "MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding" found on our website. Below are the top 20 most common "MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding".
MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding
... numbers with a n-bit result is performed by a “short product”, either using a naive algorithm [18] or Mulders’ algorithm [20], which gives a speedup up to about 20% with respect ... Voir le document complet
19
Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming
... compatible) with n-doubles ...QD/DD library is replaced by CAMPARY at the compilation step of ...Starting with version ...integrated with SDPA. This is a multiple ... Voir le document complet
9
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications
... most floating-point (FP) calculations are done using single-precision (also called binary32) or double-precision (also called binary64) ...comply with the IEEE 754-2008 standard for FP ... Voir le document complet
9
Arithmetic algorithms for extended precision using floating-point expansions
... double precision (now called binary64 ...higher precision. The first one is the multiple-digit representation: numbers are represented by a sequence of possibly high-radix digits coupled ... Voir le document complet
18
Meta-implementation of vectorized logarithm function in binary floating-point arithmetic
... achieve a binary32 implementation with a reciprocal throughput of ≈ ...by a factor of ≈ 4 compared to binary32 ...of a small degree polynomial, done using single precision ... Voir le document complet
9
A new multiplication algorithm for extended precision using floating-point expansions
... is with Intel Corporation E-mail: ...package MPFR [5] is an open-source C library that uses the multiple-digit ...arbitrary precision, it also pro- vides correct rounding ... Voir le document complet
9
Computing a correct and tight rounding error bound using rounding-to-nearest
... Introduction Floating-point (FP) arithmetic is the way computers deal with computations on real ...have a finite precision, therefore even a single computation may be incorrect ... Voir le document complet
6
VP Float: First Class Treatment for Variable Precision Floating Point Arithmetic
... variable-precision MPFR type vpfloat<mpfr, ...> with the Boost library for ...the MPFR library and execute code with identi- cal precision ...E5-2637 ... Voir le document complet
3
Verified Compilation of Floating-Point Computations
... 5 A Bit-Level Coq Formalization of IEEE-754 Binary Floating-Point Arithmetic Flocq (Floats for Coq) is a formalization for the Coq system ...provides a comprehensive ... Voir le document complet
32
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers
... not correct in radix-10 ...return a correctly-rounded ...numbers with correct ...and correct for any precision p ≥ 2 ...account. A surprising point is that the ... Voir le document complet
13
Computation of the error functions erf & erfc in arbitrary precision with correct rounding
... arbitrary precision is detailed. A feature of our implementation is correct rounding: the returned result is the exact result (as if it were computed with infinite precision) ... Voir le document complet
17
Variable Precision Floating-Point RISC-V Coprocessor Evaluation using Lightweight Software and Compiler Support
... alternative floating-point ...variable precision and much flexibility useful to scientific computing or computational ...arbitrary precision libraries such as MPFR (itself depending on ... Voir le document complet
7
C-language floating-point proofs layered with VST and Flocq
... of a recursive function f (z : τ ) is to exhibit a measure function, of type τ → N, so that the measure decreases on every iteration (and, obviously, cannot go below ...requires a single argument. ... Voir le document complet
17
Real Behavior of Floating Point Numbers
... be a shorthand for fp roundToIntegral. A FP num- ber f is integral when f is finite and it satisfies rti(RT N, f ) = rti(RT P, f ), ...be a predicate that checks if a FPNum is inte- ...FPNums ... Voir le document complet
13
Symbolic execution of floating-point computations
... oating point values (in both cases) but only one of them satisfy the symbolic ...to a divergence with the computations over the reals (the program returns +0 : 0 instead of a strict positive ... Voir le document complet
42
On various ways to split a floating-point number
... use floating-point arithmetic with rounding to ...the floating-point folklore for decades, and some are ...functions, floating-point splittings can also be used to ... Voir le document complet
9
Contain the floating point naming explosion
... the floating point TS has had a disastrous effect on the set of reserved identifiers in ...conflicts with user code would become ...On a complementary aspect, we propose decent names ... Voir le document complet
87
Formal Verification of a Floating-Point Expansion Renormalization Algorithm
... that a FPE is a list where each value has this property with its successor (when it ...when a zero is ...defining a FPE with the P property is as ... Voir le document complet
17
A Formally-Verified C Compiler Supporting Floating-Point Arithmetic
... gives a correct and predictable compiler that conforms to the IEEE-754 ...chosen a single way to compile and we have formally proved its ...double precision, therefore with (usually) ... Voir le document complet
10
Error bounds on complex floating-point multiplication with an FMA
... guarantee a tiny componentwise relative error, while algorithms A0 and A1 can both be highly in- accurate due to possible catastrophic cancellations in the real or imaginary part of the computed ... Voir le document complet
19
Sujets connexes