• INTLAB

  • Referenced in 435 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing and self-validating 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 fixed-precision 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 interval-based computations in a branch-and-bound framework ... combine several methods from various fields: interval fixed-point 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 exception-free computation mode using special values to represent infinities ... intervals. In this mode so-called 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 two-sample 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 branch-and-bound 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. Steady-state, 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 Faber-Krahn ... 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 t-distribution...
  • 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 stand-alone 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...