• IntervalArithmetic.jl

  • Referenced in 3 articles [sw29043]
  • IntervalArithmetic.jl: Rigorous oating-point calculations using interval arithmetic in Julia. IntervalArithmetic.jl is a Julia package ... rigorous computations with finite-precision floating-point arithmetic. All calculations are carried out using interval...
  • Algorithm 814

  • Referenced in 6 articles [sw04662]
  • Fortran 90 software for floating-point multiple precision arithmetic, gamma and related functions. A collection...
  • VIPR

  • Referenced in 3 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...
  • FloatingPointConversion

  • Referenced in 3 articles [sw33340]
  • Some C++ Libraries for Floating-Point Conversions and Interval Arithmetic. The main ... conversions in the area of floating-point numbers and the second one, the IntervalArithmetic library ... supports computations in the floating-point interval arithmetic with a suitable CInterval class. The functions...
  • SAM

  • Referenced in 2 articles [sw04882]
  • Stochastic arithmetic in multiprecision Floating-point arithmetic precision is limited in length the IEEE single ... However some problems require a longer floating-point format, because of round-off errors. Such ... still occur and must be controlled. Interval arithmetic has been implemented in arbitrary precision...
  • UppSAT

  • Referenced in 1 article [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...
  • Flocq

  • Referenced in 19 articles [sw06800]
  • Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides ... theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside...
  • Rmpfr

  • Referenced in 12 articles [sw11599]
  • Multiple Precision Floating-Point Reliable. Rmpfr provides (S4 classes and methods for) arithmetic including transcendental ... LGPL’ed MPFR (Multiple Precision Floating-Point Reliable) Library which itself is based...
  • IEEE_Floating_Point

  • Referenced in 1 article [sw32221]
  • formal model of IEEE-754 floating-point arithmetic. This formalization, including formal specification ... proofs of important properties of floating-point arithmetic, forms the foundation for verifying programs with...
  • FDLIBM

  • Referenced in 2 articles [sw16779]
  • machines that support IEEE 754 floating-point arithmetic. In this release, only double precision...
  • Kilbas Saigo

  • Referenced in 2 articles [sw36393]
  • computation utilizes MATLAB’s variable-precision floating-point arithmetic (VPA). The number of terms needed...
  • libMpIeee

  • Referenced in 1 article [sw12990]
  • radix 2n or 10m mixed precision floating-point arithmetic, that is fully compliant with ... IEEE 754/854 standards for floating-point arithmetic. This implies, among others, that the basic operations...
  • MathCW

  • Referenced in 1 article [sw22819]
  • standards, including full support for decimal floating-point arithmetic. Written with clarity and focusing ... little-understood aspects of floating-point and integer arithmetic, and to software portability, as well ... support to a future 256-bit, floating-point format offering 70 decimal digits of precision...
  • MPFRCPP

  • Referenced in 2 articles [sw33400]
  • MPFRCPP: the multiple precision floating-point reliable library C++ interface. MPFRCPP is object oriented interface ... library. MPFR provides arbitrary precision arithmetic on floating-point numbers. MPFRCPP overloads operators, functions...
  • DecFP

  • Referenced in 1 article [sw33661]
  • IEEE 754-2008 Decimal Floating-Point Arithmetic specification...
  • FloPoCo

  • Referenced in 2 articles [sw18091]
  • FloPoCo is a generator of arithmetic cores (Floating-Point Cores, but not only) for FPGAs...
  • FloatX

  • Referenced in 1 article [sw33682]
  • FloatX: A C++ library for customized floating-point arithmetic. We present FloatX (Float eXtended ... investigate the effect of leveraging customized floating-point formats in numerical applications. FloatX formats...
  • ValidatedNumerics.jl

  • Referenced in 1 article [sw38173]
  • rigorous computations with finite-precision floating-point arithmetic, using interval arithmetic: quantities are treated...
  • FLIP

  • Referenced in 1 article [sw24985]
  • provides a software support for binary32 floating-point arithmetic on integer processors. This library...
  • Algorithm 871

  • Referenced in 1 article [sw12988]
  • number of libraries for multiprecision floating-point arithmetic have been developed. We describe an easy...