Results 1 to 20 of 272
Sort by:

  • 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...