• 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 two-point 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 semi-numerical version, using multi-precision 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. Case-cohort 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 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...
  • 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 fixed-precision 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...
  • 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...
  • 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 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...
  • 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...