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

bootlib
 Referenced in 461 articles
[sw40642]
 simulation to obtain reliable standard errors, confidence intervals, and other measures of uncertainty ... semiparametric and smooth models. Significance and confidence intervals are the subjects of Chapters...

INTOPT_90
 Referenced in 306 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 315 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 365 articles
[sw00066]
 name from its combining constraint propagation, interval analysis, and duality in its reduce arsenal with...

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

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

PROFIL/BIAS
 Referenced in 134 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 221 articles
[sw07741]
 adaptive seminumerical version, using multiprecision interval arithmetic. We finally show that these critical...

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

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

BartPy
 Referenced in 99 articles
[sw40584]
 enables full posterior inference including point and interval estimates of the unknown regression function...

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

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

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

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

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

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

filib++
 Referenced in 43 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...

logcondens
 Referenced in 53 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...