
GNU Fortran
 Referenced in 4 articles
[sw00959]
 development of hardware support for interval arithmetic. This paper describes modifications made ... Fortran compiler to provide support for interval arithmetic. These modifications are based on a recently ... proposed Fortran 77 interval arithmetic specification, which provides a standard for supporting interval arithmetic...

ACETAF
 Referenced in 7 articles
[sw00014]
 from some of its modifications. Interval arithmetic is used to obtain rigorous results...

CoStLy
 Referenced in 7 articles
[sw00163]
 ranges is presented. Rectangular complex interval arithmetic is used for the computations. In the CoStLy...

intpakX
 Referenced in 11 articles
[sw00445]
 intpakX includes the four basic arithmetic operators, including extended interval division as an extra function ... complex disc arithmetic. As applications, verified computation of zeroes (Interval Newton Method) with the possibility...

xrc
 Referenced in 5 articles
[sw05916]
 implementation of lazy exact real arithmetic in C. It is an alternative to multipleprecision ... sure of the final result. Interval arithmetic is an improvement on this, but still ... ideal solution because if the final interval is larger than desired, there is no simple ... higher precision. By constrast, in exact real arithmetic no precision level is set in advance...

b4m
 Referenced in 5 articles
[sw04005]
 BIAS for Matlab): Interval Arithmetic Toolbox...

DSI Toolbox
 Referenced in 3 articles
[sw09588]
 floating point arithmetic and do not consider the inherently intervalbased nature ... ideas with those from interval arithmetic. An additional advantage of employing interval methods ... Toolbox. DSI extends IPP using interval arithmetic and simultaneously takes care of the rounding errors...

CADAC
 Referenced in 4 articles
[sw24346]
 specifications for carrying out ”ideal” floatingpoint arithmetic are described first. These specifications include detailed ... handling, along with both complex and interval arithmetic at the level of a programming language...

Moore
 Referenced in 2 articles
[sw18032]
 Moore: Interval Arithmetic in Modern C++. We present the library Moore, which implements Interval Arithmetic ... approach for implementing interval arithmetic libraries...

IntervalArithmetic.jl
 Referenced in 2 articles
[sw29043]
 IntervalArithmetic.jl: Rigorous oatingpoint calculations using interval arithmetic in Julia. IntervalArithmetic.jl is a Julia package ... calculations are carried out using interval arithmetic: all quantities are treated as intervals, which...

INT
 Referenced in 3 articles
[sw23776]
 semantic checking. An interval arithmetic package, INT, which generalizes previous interval packages by using information...

InC++
 Referenced in 3 articles
[sw22627]
 function evaluation and constraint satisfaction. Classical interval arithmetic (IA) (Moore, 1966) is extended by open...

Intsolver
 Referenced in 3 articles
[sw08787]
 functions based on interval arithmetic to solve small size global optimization problems with guaranteed bounds...

TopDeg
 Referenced in 3 articles
[sw12573]
 Effective Topological Degree Computation Based on Interval Arithmetic...

PolyPaver
 Referenced in 3 articles
[sw08771]
 specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis ... approximation of nonlinear real and realinterval functions defined by expressions. The PolyPaver tool...

CAMPARY
 Referenced in 3 articles
[sw15156]
 develop CAMPARY: a multipleprecision floatingpoint arithmetic library using the CUDA programming language ... This allows as well for an interval arithmetic. Currently, all basic multipleprecision arithmetic operations...

Easyval
 Referenced in 1 article
[sw05444]
 very basic implementation of interval arithmetic, using hardware doubles as interval bounds. The first target ... this library is that the interval arithmetic containment criterium is respected...

Octave Interval
 Referenced in 1 article
[sw13236]
 interval package for realvalued interval arithmetic allows one to evaluate functions over subsets ... their domain. All results are verified, because interval computations automatically keep track of any errors ... used to handle uncertainties, estimate arithmetic errors and produce reliable results. Also ... IEEE standard for interval arithmetic. Related software: INTLAB, CXSC, filib...

SAM
 Referenced in 1 article
[sw04882]
 Stochastic arithmetic in multiprecision Floatingpoint arithmetic precision is limited in length the IEEE single ... still occur and must be controlled. Interval arithmetic has been implemented in arbitrary precision ... instance in the MPFI library. Interval arithmetic provides guaranteed results, but it is not well...