-
MPFR
- Referenced in 226 articles
[sw03312]
- ANSI/IEEE-754 standard for double-precision floating-point arithmetic (53-bit significand). MPFR is free...
-
mpmath
- Referenced in 59 articles
[sw05802]
- pure-Python library for arbitrary-precision floating-point arithmetic. It implements the standard functions from...
-
Arb
- Referenced in 51 articles
[sw07822]
- library for arbitrary-precision floating-point ball arithmetic, developed by Fredrik Johansson (fredrik.johansson@gmail.com). It supports...
-
MACHAR
- Referenced in 22 articles
[sw00539]
- thirteen fundamental parameters associated with a floating-point arithmetic system. The version presented here operates ... correctly on a large number of different floating-points systems, including those implementing...
-
Algorithm 693
- Referenced in 25 articles
[sw08017]
- FORTRAN package for floating-point multiple-precision arithmetic FM is a collection of FORTRAN ... routines which performs floating-point multiple-precision arithmetic and elementary functions. Results are almost always...
-
SIGMA_
- Referenced in 21 articles
[sw00858]
- FORTRAN subprograms, using double-precision floating-point arithmetic, which attempts to find a global minimizer...
-
QSopt-Exact
- Referenced in 17 articles
[sw05101]
- QSopt code is based on floating-point arithmetic and the results are subject to rounding...
-
Gappa
- Referenced in 18 articles
[sw04885]
- numerical programs dealing with floating-point or fixed-point arithmetic. It has been used...
-
ESOLID
- Referenced in 11 articles
[sw15824]
- floating-point filters, arbitrary floating-point arithmetic with error bounds, and lower-dimensional formulation ... compute using a fixed-precision floating-point modeler. In terms of performance, it is about...
-
FIST
- Referenced in 10 articles
[sw08802]
- implemented on ANSIC, based on floating-point arithmetic. Due to a series of heuristics that...
-
exflib
- Referenced in 9 articles
[sw09641]
- exflib–extend precision floating-point arithmetic library: Exflib is a simple software for scientific multiple...
-
Algorithm 722
- Referenced in 5 articles
[sw12580]
- support the IEEE standard for binary floating-point arithmetic. This paper describes C programs ... IEEE Standard for Binary Floating-Point Arithmetic. In the case of logb, the modified definition ... later IEEE Standard for Radix-Independent Floating-Point Arithmetic is followed. These programs should...
-
Miniball
- Referenced in 43 articles
[sw05179]
- with rational arithmetic. An implementation (along with a fast and robust floating-point version...
-
CAMPARY
- Referenced in 5 articles
[sw15156]
- Units (GPUs). Usually, either floating-point single or double precision arithmetic is used. Higher precision ... develop CAMPARY: a multiple-precision floating-point arithmetic library using the CUDA programming language ... several standard machine precision floating-point numbers. We make use of error-free transforms addition ... simplicity of using hardware highly optimized floating-point 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 floating-point numerical techniques and several new functions. This...
-
logsumexp-softmax-tests
- Referenced in 5 articles
[sw42124]
- overflow and underflow, especially in low-precision arithmetic. Software implementations commonly use alternative formulas that ... equivalent, these variants behave differently in floating-point arithmetic and shifting can introduce subtractive cancellation...
-
CADAC
- Referenced in 4 articles
[sw24346]
- language specifications for carrying out ”ideal” floating-point arithmetic are described first. These specifications include...
-
SoftFloat
- Referenced in 4 articles
[sw12791]
- conforms to the IEEE Standard for Floating-Point Arithmetic. SoftFloat is completely faithful ... from decimal. SoftFloat fully implements four floating-point formats: 32-bit single-precision...
-
UppSAT
- Referenced in 2 articles
[sw26289]
- Exploring approximations for floating-point arithmetic using uppsat. We consider the problem of solving floating ... substantiate this, we explore encodings of floating-point arithmetic into reduced precision floating-point 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 floating-point arithmetic. Even solvers that employ exact arithmetic...