
INTLAB
 Referenced in 351 articles
[sw04004]
 univariate polynomial zeros (simple and clusters) interval arithmetic for real and complex data including vectors ... matrices (very fast) interval arithmetic for real and complex sparse matrices (very fast) automatic differentiation ... simple) univariate functions univariate and multivariate (interval) polynomials rigorous real interval standard functions (fast, very ... interpreted, reference implementation, slow) multiple precision interval arithmetic with error bounds (does the job, slow...

INTOPT_90
 Referenced in 294 articles
[sw04705]
 monograph gives a survey of interval arithmetic based methods for solving systems of equations ... almost unavoidable part of optimization. The interval arithmetic philosophy of selfvalidation is followed ... software and library packages for interval arithmetic and the solvers for the above mentioned problems ... first chapter (69 pages) introduces interval arithmetic, solving linear interval equations, automatic differentiation and code...

ISOLATE
 Referenced in 186 articles
[sw07741]
 seminumerical version, using multiprecision interval arithmetic. We finally show that these critical optimizations...

PROFIL/BIAS
 Referenced in 106 articles
[sw00733]
 PROFIL is based on BIAS (Basic Interval Arithmetic Subroutines). The developement of BIAS was guided ... give such an interface for interval operations with the objective: very efficient...

ACRITHXSC
 Referenced in 46 articles
[sw00015]
 with rounding control, interval and complex interval arithmetic, accurate vector/matrix arithmetic, an enlarged...

MPFI
 Referenced in 32 articles
[sw00597]
 Motivations for an arbitrary precision interval arithmetic and the MPFI library. This paper justifies ... arbitrary precision interval arithmetic is needed. To provide accurate results, interval computations require small input ... comparison with a fixedprecision interval arithmetic, on a specific problem, is presented. It shows...

RealPaver
 Referenced in 50 articles
[sw04401]
 defined by analytical expressions involving usual arithmetic operations and transcendental elementary functions. Rigourousness: Realpaver covers ... certainty. Solving methods: Realpaver implements correctly rounded intervalbased computations in a branchandbound ... benchmarks are also provided. Interval arithmetic is supported by gaol...

INTLIB
 Referenced in 29 articles
[sw00444]
 readily available, portable, exhaustively documented interval arithmetic library, written in standard Fortran 77. Its underlying ... philosophy is to provide a standard for interval operations ... efficiently transporting programs involving interval arithmetic. The model is the BLAS package, for basic linear ... library is composed of elementary interval arithmetic routines, standard function routines for interval data...

Boost Interval Arithmetic
 Referenced in 14 articles
[sw13013]
 design of the Boost interval arithmetic library. We present the design of the Boost interval ... arithmetic library, a C++ library designed to handle mathematical intervals efficiently and in a generic ... have a mathematically correct implementation of interval arithmetic. Various implementations exist with diverse semantics ... specialized libraries available for interval arithmetic, without any loss of performance nor sacrificing the ease...

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

Benchmarks
 Referenced in 22 articles
[sw04612]
 from a classical method that uses interval arithmetic to check whether trajectories can move over...

INTERVAL_ARITHMETIC
 Referenced in 10 articles
[sw04681]
 Algorithm 763: INTERVAL  ARITHMETIC: A Fortran 90 module for an interval data type Interval arithmetic ... certain bounds. In addition to rigor, interval arithmetic also provides a simple and sometimes sharp ... other tasks. Convenient use of interval arithmetic requires an interval data type in the programming ... commercial. The Fortran 90 module INTERVAL  ARITHMETIC provides a portable interval data type in Fortran...

FADBAD++
 Referenced in 49 articles
[sw04863]
 that are implemented in arithmetic types, such as doubles and intervals. One of the major ... template types also behave like arithmetic types. This property of the ADtemplates enables...

gaol
 Referenced in 11 articles
[sw05586]
 Gaol is a C++ library for interval arithmetic. It is supposed to be a fast ... library for anyone interested in assessing interval arithmetic merits or using it on a regular...

VPI
 Referenced in 14 articles
[sw01007]
 this author) to support variable precision interval arithmetic. It appears to be the oldest...

MOBILE
 Referenced in 9 articles
[sw10866]
 this open source software, describes how interval arithmetic help to implement new transmission elements ... enhance already existing modeling software with interval arithmetic concepts...

INTPAK
 Referenced in 8 articles
[sw09276]
 experimental interval arithmetic package in Maple. We describe an experimental arbitraryprecision interval arithmetic package ... those of the proposed Basic Interval Arithmetic Subroutine (BIAS) library. We give here an overview...

IBEX
 Referenced in 10 articles
[sw11947]
 into account. It is based on interval arithmetic and affine arithmetic. The main feature...

RAMAS Risk Calc
 Referenced in 18 articles
[sw09590]
 probability bounds analysis, standard fuzzy arithmetic, and classical interval analysis. Its applications are like those...

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