
INTLAB
 Referenced in 446 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 306 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 215 articles
[sw07741]
 seminumerical version, using multiprecision interval arithmetic. We finally show that these critical optimizations...

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

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

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

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

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

Boost Interval Arithmetic
 Referenced in 15 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 25 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...

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

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

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

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

raSAT
 Referenced in 8 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...

hikmot
 Referenced in 10 articles
[sw34524]
 method are an implementation of interval arithmetic and Krawczyk’s Test. These techniques represent...