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

bootlib
 Referenced in 408 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...

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

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

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

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 216 articles
[sw07741]
 adaptive seminumerical version, using multiprecision interval arithmetic. We finally show that these critical...

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

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

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

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

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

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

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

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

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

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

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