
INTLAB
 Referenced in 417 articles
[sw04004]
 functions univariate polynomial zeros (simple and clusters) interval arithmetic for real and complex data including ... vectors and matrices (very fast) interval arithmetic for real and complex sparse matrices (very fast ... simple) univariate functions univariate and multivariate (interval) polynomials rigorous real interval standard functions (fast, very ... accurate, 3 ulps) rigorous complex interval standard functions (fast, rigorous, but not necessarily sharp inclusions...

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

bvp4c
 Referenced in 231 articles
[sw06178]
 form y′ = f(x,y) on the interval [a,b] subject to twopoint boundary ... solution at specific points xint in the interval...

BARON
 Referenced in 308 articles
[sw00066]
 name from its combining constraint propagation, interval analysis, and duality in its reduce arsenal with...

DASSL
 Referenced in 255 articles
[sw03174]
 results at additional TOUT. This is the interval mode of operation. Intermediate results can also...

QUADPACK
 Referenced in 248 articles
[sw01236]
 variable, including singular integrands and infinite intervals...

PROFIL/BIAS
 Referenced in 125 articles
[sw00733]
 PROFIL (Programmer’s Runtime Optimized Fast Interval Library) is a C++ class library supporting ... most commonly needed interval and real operations in a user friendly way. The supported data ... types are currently: INT, REAL, INTERVAL, vectors and matrices of these types, and complex numbers ... PROFIL is based on BIAS (Basic Interval Arithmetic Subroutines). The developement of BIAS was guided...

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

NEURON
 Referenced in 174 articles
[sw03059]
 equations for its subnet over an interval equal to the minimum (interprocessor) presynaptic spike generation...

survival
 Referenced in 154 articles
[sw04364]
 Delayed entry (truncation) allowed for all models; interval censoring for parametric models. Casecohort designs...

MISER3
 Referenced in 81 articles
[sw04190]
 defined on suitable partitions of the time interval. The code then converts the problem into...

RealPaver
 Referenced in 50 articles
[sw04401]
 certainty. Solving methods: Realpaver implements correctly rounded intervalbased computations in a branchandbound ... combine several methods from various fields: interval fixedpoint operators, constraint propagation and local consistency ... benchmarks are also provided. Interval arithmetic is supported by gaol...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 conversion and arithmetic operators with rounding control, interval and complex interval arithmetic, accurate vector/matrix arithmetic ... mathematical standard functions for point and interval arguments, and more. For a restricted class...

FEAST
 Referenced in 78 articles
[sw04025]
 eigenvalues and eigenvectors within a given search interval. It is based on an innovative fast...

MPFI
 Referenced in 40 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 ... intervals; this explains why bisection is so often employed in interval algorithms. The MPFI library ... comparison with a fixedprecision interval arithmetic, on a specific problem, is presented. It shows...

filib++
 Referenced in 41 articles
[sw06459]
 filib++ is an extension of the interval library filib. The most important ... fast computation of guaranteed bounds for interval versions of a comprehensive set of elementary function ... IEEE floatingpoint standard 754 to intervals. In this mode socalled containment sets ... range of a function defined over an interval. Second, state of the art design uses...

PostgreSQL
 Referenced in 69 articles
[sw15935]
 including INTEGER, NUMERIC, BOOLEAN, CHAR, VARCHAR, DATE, INTERVAL, and TIMESTAMP. It also supports storage...

logcondens
 Referenced in 49 articles
[sw11215]
 estimates within cases and controls, including confidence intervals for given values of false positive fractions ... computation of a confidence interval for the value of the true density at a fixed...

DPpackage
 Referenced in 62 articles
[sw10495]
 density estimation, receiver operating characteristic curve analysis, intervalcensored data, binary regression data, item response...

BayesTree
 Referenced in 58 articles
[sw07995]
 enables full posterior inference including point and interval estimates of the unknown regression function...