
INTOPT_90
 Referenced in 284 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...

INTLAB
 Referenced in 305 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...

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

PROFIL/BIAS
 Referenced in 103 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...

RealPaver
 Referenced in 48 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...

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

MPFI
 Referenced in 27 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...

INTLIB
 Referenced in 24 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 13 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...

Benchmarks
 Referenced in 21 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...

mpmath
 Referenced in 17 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...

gaol
 Referenced in 10 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...

FADBAD++
 Referenced in 42 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...

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

MOBILE
 Referenced in 7 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...

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

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

raSAT
 Referenced in 5 articles
[sw15206]
 background theories, which are various interval arithmetics. Main features are: raSAT applies raSAT loop, which ... holds, raSAT loop refines bounded quantification by interval decompositions. raSAT is based on an interval ... similar to HySAT. raSAT prepares various interval arithmetics as overapproximation theories, which are mostly...