
mpmath
 Referenced in 57 articles
[sw05802]
 purePython library for arbitraryprecision floatingpoint arithmetic. It implements the standard functions from ... precision numerical differentiation, integration, rootfinding, and interval arithmetic. It supports unlimited exponent sizes...

FloatingPointConversion
 Referenced in 3 articles
[sw33340]
 Some C++ Libraries for FloatingPoint Conversions and Interval Arithmetic. The main ... conversions in the area of floatingpoint numbers and the second one, the IntervalArithmetic library ... carries out the similar task for interval values as well ... supports computations in the floatingpoint interval arithmetic with a suitable CInterval class. The functions...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 modelling and vibrational mechanics where conventional floatingpoint 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 oatingpoint calculations using interval arithmetic in Julia. IntervalArithmetic.jl is a Julia package ... finiteprecision floatingpoint arithmetic. All calculations are carried out using interval arithmetic: all quantities...

ValidatedNumerics.jl
 Referenced in 1 article
[sw38173]
 rigorous computations with finiteprecision floatingpoint 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 floatingpoint computation and enclosed into the result...

libmultival
 Referenced in 0 articles
[sw05559]
 class library for multiprecision floatingpoint interval arithmetic. It uses libmplite to represent...

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

xrc
 Referenced in 5 articles
[sw05916]
 real arithmetic in C. It is an alternative to multipleprecision floatingpoint codes ... distinction is that in multipleprecision floatingpoint, 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 floatingpoint arithmetic, evaluating possible ... theoretical foundations for IEEE 754 floatingpoint numbers, interval arithmetic based on the projectively extended...

CADAC
 Referenced in 4 articles
[sw24346]
 language specifications for carrying out ”ideal” floatingpoint 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 Floatingpoint arithmetic precision is limited in length the IEEE single ... However some problems require a longer floatingpoint format, because of roundoff 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 floatingpoint 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 floatingpoint or fixedpoint computations. Given intervals for the inputs, Range ... result of the computation in the computer arithmetic but also a bound on the difference...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: 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 roundoff 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...