• mpmath

  • Referenced in 57 articles [sw05802]
  • pure-Python library for arbitrary-precision floating-point arithmetic. It implements the standard functions from ... precision numerical differentiation, integration, root-finding, and interval arithmetic. It supports unlimited exponent sizes...
  • 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 ... carries out the similar task for interval values as well ... supports computations in the floating-point interval arithmetic with a suitable CInterval class. The functions...
  • ACRITH-XSC

  • Referenced in 49 articles [sw00015]
  • modelling and vibrational mechanics where conventional floating-point methods have failed.\parWith few exceptions, ACRITH ... data conversion and arithmetic operators with rounding control, interval and complex interval arithmetic, accurate vector/matrix...
  • IntervalArithmetic.jl

  • Referenced in 3 articles [sw29043]
  • IntervalArithmetic.jl: Rigorous oating-point calculations using interval arithmetic in Julia. IntervalArithmetic.jl is a Julia package ... finite-precision floating-point arithmetic. All calculations are carried out using interval arithmetic: all quantities...
  • ValidatedNumerics.jl

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

  • Referenced in 7 articles [sw00163]
  • ranges is presented. Rectangular complex interval arithmetic is used for the computations. In the CoStLy ... calculated during the course of the floating-point computation and enclosed into the result...
  • libmultival

  • Referenced in 0 articles [sw05559]
  • class library for multi-precision floating-point interval arithmetic. It uses libmplite to represent...
  • CAMPARY

  • Referenced in 5 articles [sw15156]
  • 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 ... This allows as well for an interval arithmetic. Currently, all basic multiple-precision arithmetic operations...
  • xrc

  • Referenced in 5 articles [sw05916]
  • real arithmetic in C. It is an alternative to multiple-precision floating-point codes ... distinction is that in multiple-precision floating-point, one sets the precision before starting ... sure of the final result. Interval arithmetic is an improvement on this, but still...
  • Unum

  • Referenced in 0 articles [sw18384]
  • interval arithmetic called ’Unums’ and compares it to IEEE 754 floating-point arithmetic, evaluating possible ... theoretical foundations for IEEE 754 floating-point numbers, interval arithmetic based on the projectively extended...
  • CADAC

  • Referenced in 4 articles [sw24346]
  • language specifications for carrying out ”ideal” floating-point arithmetic are described first. These specifications include ... exception handling, along with both complex and interval arithmetic at the level of a programming...
  • 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...
  • PolyPaver

  • Referenced in 3 articles [sw08771]
  • programs, such as showing that a floating-point implementation of Riemann integration computes a close ... specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis...
  • RangeLab

  • Referenced in 1 article [sw38042]
  • accuracy of floating-point or fixed-point computations. Given intervals for the inputs, Range ... result of the computation in the computer arithmetic but also a bound on the difference...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • Apron

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CADNA

  • Referenced in 46 articles [sw00098]
  • CADNA: a library for estimating round-off error...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...