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