
INTLAB
 Referenced in 435 articles
[sw04004]
 INTLAB is the Matlab toolbox for reliable computing and selfvalidating algorithms. It comprises ... 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 ... automatic differentiation (forward mode, vectorized computations, fast) Gradients (to solve systems of nonlinear equations) Hessians...

INTOPT_90
 Referenced in 304 articles
[sw04705]
 infeasibility test, interval Newton algorithm applied to the John conditions and computationally executed proofs...

MPFI
 Referenced in 41 articles
[sw00597]
 needed. To provide accurate results, interval computations require small input intervals; this explains why bisection ... comparison with a fixedprecision interval arithmetic, on a specific problem, is presented. It shows ... algorithm combining symbolic and numerical computations) and approximation of real roots with arbitrary accuracy...

COCONUT
 Referenced in 38 articles
[sw04760]
 uses the FILIB++ library for interval computations and the matrix template library...

RealPaver
 Referenced in 50 articles
[sw04401]
 Solving methods: Realpaver implements correctly rounded intervalbased computations in a branchandbound framework ... combine several methods from various fields: interval fixedpoint operators, constraint propagation and local consistency...

filib++
 Referenced in 42 articles
[sw06459]
 latter was the fast computation of guaranteed bounds for interval versions of a comprehensive ... extended” mode, that extends the exceptionfree computation mode using special values to represent infinities ... intervals. In this mode socalled containment sets are computed to enclose the topological closure ... range of a function defined over an interval. Second, state of the art design uses...

logcondens
 Referenced in 49 articles
[sw11215]
 sample from the estimated distribution, (5) to compute a twosample permutation test based ... estimates within cases and controls, including confidence intervals for given values ... false positive fractions (7) computation of a confidence interval for the value of the true...

PRIME Decisions
 Referenced in 34 articles
[sw16213]
 specification of preferencies. It computes value intervals and dominance structures for the alternatives, and supports...

BARON
 Referenced in 324 articles
[sw00066]
 BARON is a computational system for solving nonconvex optimization problems to global optimality. Purely continuous ... name from its combining constraint propagation, interval analysis, and duality in its reduce arsenal with...

Boost Interval Arithmetic
 Referenced in 15 articles
[sw13013]
 efficiently and in a generic way. Interval computations are an essential tool for reliable computing ... using branchandbound algorithms with interval computations; it is therefore extremely important to have...

Mathemagix
 Referenced in 42 articles
[sw00553]
 possibilities offered for certified numeric computations with balls and intervals...

SHARPE
 Referenced in 42 articles
[sw03100]
 nets. Steadystate, transient and interval measures can be computed. Output measures of a model...

ARfit
 Referenced in 38 articles
[sw00046]
 stepwise least squares algorithm that is computationally efficient, in particular when the data are high ... modules construct approximate confidence intervals for the estimated parameters and compute statistics with which ... fitted model also constructs approximate confidence intervals for the eigenmodes and their oscillation periods...

Algorithm 922
 Referenced in 32 articles
[sw12858]
 proposed. To make the computation efficient, the search interval is decided using a FaberKrahn ... type inequality for transmission eignevalues and the interval is updated at each iteration. The algorithm ... methods in inverse scattering and modified to compute transmission eigenvalues for other models such...

pROC
 Referenced in 26 articles
[sw10636]
 statistics or bootstrap. Confidence intervals can be computed for (p)AUC or ROC curves...

SplinePak
 Referenced in 22 articles
[sw13802]
 package deals with computational methods for splines defined on intervals, rectangular partitions, planar triangulations ... useful in solving a variety of other computational problems involving splines...

nparcomp
 Referenced in 6 articles
[sw23408]
 package, it is possible to compute nonparametric simultaneous confidence intervals for relative contrast effects ... values. The simultaneous confidence intervals can be computed using multivariate normal distribution, multivariate tdistribution...

intpakX
 Referenced in 11 articles
[sw00445]
 four basic arithmetic operators, including extended interval division as an extra function. Furthermore, there ... disc arithmetic. As applications, verified computation of zeroes (Interval Newton Method) with the possibility...

StInt
 Referenced in 38 articles
[sw27862]
 Intervals. StInt is a standalone DOS program that will perform most of the computations...

Tac
 Referenced in 7 articles
[sw09455]
 search as being organized around interleaving intervals of computation and more general deduction. For example...