
MPFR
 Referenced in 226 articles
[sw03312]
 ANSI/IEEE754 standard for doubleprecision floatingpoint arithmetic (53bit significand). MPFR is free...

mpmath
 Referenced in 57 articles
[sw05802]
 purePython library for arbitraryprecision floatingpoint arithmetic. It implements the standard functions from...

Arb
 Referenced in 51 articles
[sw07822]
 library for arbitraryprecision floatingpoint ball arithmetic, developed by Fredrik Johansson (fredrik.johansson@gmail.com). It supports...

MACHAR
 Referenced in 22 articles
[sw00539]
 thirteen fundamental parameters associated with a floatingpoint arithmetic system. The version presented here operates ... correctly on a large number of different floatingpoints systems, including those implementing...

Algorithm 693
 Referenced in 25 articles
[sw08017]
 FORTRAN package for floatingpoint multipleprecision arithmetic FM is a collection of FORTRAN ... routines which performs floatingpoint multipleprecision arithmetic and elementary functions. Results are almost always...

SIGMA_
 Referenced in 21 articles
[sw00858]
 FORTRAN subprograms, using doubleprecision floatingpoint arithmetic, which attempts to find a global minimizer...

QSoptExact
 Referenced in 17 articles
[sw05101]
 QSopt code is based on floatingpoint arithmetic and the results are subject to rounding...

Gappa
 Referenced in 18 articles
[sw04885]
 numerical programs dealing with floatingpoint or fixedpoint arithmetic. It has been used...

ESOLID
 Referenced in 11 articles
[sw15824]
 floatingpoint filters, arbitrary floatingpoint arithmetic with error bounds, and lowerdimensional formulation ... compute using a fixedprecision floatingpoint modeler. In terms of performance, it is about...

FIST
 Referenced in 10 articles
[sw08802]
 implemented on ANSIC, based on floatingpoint arithmetic. Due to a series of heuristics that...

exflib
 Referenced in 9 articles
[sw09641]
 exflib–extend precision floatingpoint arithmetic library: Exflib is a simple software for scientific multiple...

Algorithm 722
 Referenced in 5 articles
[sw12580]
 support the IEEE standard for binary floatingpoint arithmetic. This paper describes C programs ... IEEE Standard for Binary FloatingPoint Arithmetic. In the case of logb, the modified definition ... later IEEE Standard for RadixIndependent FloatingPoint Arithmetic is followed. These programs should...

Miniball
 Referenced in 43 articles
[sw05179]
 with rational arithmetic. An implementation (along with a fast and robust floatingpoint version...

CAMPARY
 Referenced in 5 articles
[sw15156]
 Units (GPUs). Usually, either floatingpoint single or double precision arithmetic is used. Higher precision ... develop CAMPARY: a multipleprecision floatingpoint arithmetic library using the CUDA programming language ... several standard machine precision floatingpoint numbers. We make use of errorfree transforms addition ... simplicity of using hardware highly optimized floatingpoint operations, while also allowing for rigorously proven...

ARPREC
 Referenced in 56 articles
[sw07222]
 describes a new software package for performing arithmetic with an arbitrarily high level of numeric ... cite mpf90, enhanced with special IEEE floatingpoint numerical techniques and several new functions. This...

CADAC
 Referenced in 4 articles
[sw24346]
 language specifications for carrying out ”ideal” floatingpoint arithmetic are described first. These specifications include...

SoftFloat
 Referenced in 4 articles
[sw12791]
 conforms to the IEEE Standard for FloatingPoint Arithmetic. SoftFloat is completely faithful ... from decimal. SoftFloat fully implements four floatingpoint formats: 32bit singleprecision...

UppSAT
 Referenced in 2 articles
[sw26289]
 Exploring approximations for floatingpoint arithmetic using uppsat. We consider the problem of solving floating ... substantiate this, we explore encodings of floatingpoint arithmetic into reduced precision floatingpoint arithmetic...

VIPR
 Referenced in 4 articles
[sw18034]
 software project to verify, in exact rational arithmetic, the correctness of results computed by mixed ... being the use of inexact floatingpoint arithmetic. Even solvers that employ exact arithmetic...

gmpy2
 Referenced in 2 articles
[sw24519]
 MPFR (correctly rounded real floatingpoint arithmetic) and MPC (correctly rounded complex floatingpoint arithmetic...