• 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 two-point 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 semi-numerical version, using multi-precision 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. Case-cohort 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 interval-based computations in a branch-and-bound ... combine several methods from various fields: interval fixed-point operators, constraint propagation and local consistency ... benchmarks are also provided. Interval arithmetic is supported by gaol...
  • ACRITH-XSC

  • 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 fixed-precision 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 floating-point standard 754 to intervals. In this mode so-called 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, interval-censored 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...