• INTOPT_90

  • Referenced in 294 articles [sw04705]
  • almost unavoidable part of optimization. The interval arithmetic philosophy of selfvalidation is followed ... results and ones that need further development. Algorithmic and practical tools are emphasized, theoretical considerations ... authors’s software and library packages for interval arithmetic and the solvers for the above ... branch and bound, infeasibility test, interval Newton algorithm applied to the John conditions and computationally...
  • ISOLATE

  • Referenced in 186 articles [sw07741]
  • algorithm, we derive an adaptive semi-numerical version, using multi-precision interval arithmetic. We finally ... optimizations have important consequences since our new algorithm still works with huge polynomials, including orthogonal...
  • MPFI

  • Referenced in 34 articles [sw00597]
  • bisection is so often employed in interval algorithms. The MPFI library has been built ... comparison with a fixed-precision interval arithmetic, on a specific problem, is presented. It shows ... isolation of polynomial real roots (by an algorithm combining symbolic and numerical computations) and approximation...
  • INTLAB

  • Referenced in 356 articles [sw04004]
  • toolbox for reliable computing and self-validating algorithms. It comprises of self-validating methods ... functions univariate polynomial zeros (simple and clusters) interval arithmetic for real and complex data including...
  • INTLIB

  • Referenced in 29 articles [sw00444]
  • Algorithm 737: INTLIB - a portable Fortran 77 interval standard-function library. INTLIB is meant ... interval data and values, and utility routines. The library can be used with INTBIS (Algorithm...
  • MOBILE

  • Referenced in 9 articles [sw10866]
  • Interval algorithms in modeling of multibody systems. We will show how a variety of interval ... algorithms have found their use in the multibody modeling program MOBILE. This paper acquaints ... this open source software, describes how interval arithmetic help to implement new transmission elements...
  • INTERVAL_ARITHMETIC

  • Referenced in 10 articles [sw04681]
  • Algorithm 763: INTERVAL - ARITHMETIC: A Fortran 90 module for an interval data type Interval arithmetic ... that is, in computations in which the algorithm itself rigorously proves that the answer must ... within certain bounds. In addition to rigor, interval arithmetic also provides a simple and sometimes ... units. Module INTERVAL - ARITHMETIC uses the Fortran 77 library INTLIB (ACM TOMS Algorithm...
  • INTBIS

  • Referenced in 31 articles [sw00442]
  • Algorithm 681: INTBIS, a portable interval Newton/bisection package. We present a portable software package ... roots with mathematical certainty. Though based on interval Newton methods, it is self-contained ... polynomials; it is structured for further algorithmic research. Its practicality does not depend...
  • Intcox

  • Referenced in 11 articles [sw08075]
  • package intcox: Iterated Convex Minorant Algorithm for interval censored event data. Implementation of ICM-Algorithm ... Algorithm for the Cox proportional hazard model for interval censored data...
  • Boost Interval Arithmetic

  • Referenced in 14 articles [sw13013]
  • intervals efficiently and in a generic way. Interval computations are an essential tool for reliable ... problems solved using branch-and-bound algorithms with interval computations; it is therefore extremely important...
  • RealPaver

  • Referenced in 50 articles [sw04401]
  • Algorithm 852 Realpaver: nonlinear constraint solving & rigorous global optimization. Problems: Realpaver allows modeling and solving ... certainty. Solving methods: Realpaver implements correctly rounded interval-based computations in a branch-and-bound...
  • DQAINT

  • Referenced in 11 articles [sw02110]
  • DQAINF: An algorithm for automatic integration of infinite oscillating tails The paper describes a quadrature ... oscillating, decaying tails over an infinite interval. The algorithm is based on the assumption that ... infinite series of integrals all of same interval length yields close relations to alternating series ... accelerated approximations. A FORTRAN subroutine for the algorithm is described in detail. Six examples show...
  • Algorithm 922

  • Referenced in 25 articles [sw12858]
  • algorithm using restarted Arnoldi method is proposed. To make the computation efficient, the search interval ... eignevalues and the interval is updated at each iteration. The algorithm is implemented using Matlab...
  • FEAST

  • Referenced in 52 articles [sw04025]
  • search interval. It is based on an innovative fast and stable numerical algorithm -- named...
  • COPRIN

  • Referenced in 14 articles [sw04826]
  • maximal real roots of parametric polynomials using interval analysis In this paper we are interested ... within given ranges. We propose algorithms based on interval analysis to solve various problems such...
  • ICOS

  • Referenced in 15 articles [sw04007]
  • package called Interval Constraint Solver (ICOS), which implements a branch and bound algorithm for rigorously ... ICOS library contains algorithms coming from constraint programming, interval analysis, and linear relaxation techniques ... strategy language enables combining and parameterizing existing algorithms for solving optimization problems. Thus, the user...
  • MISER3

  • Referenced in 72 articles [sw04190]
  • defined on suitable partitions of the time interval. The code then converts the problem into ... solved using a sequential quadratic programming algorithm...
  • DQAINF

  • Referenced in 8 articles [sw02646]
  • DQAINF: An algorithm for automatic integration of infinite oscillating tails. The paper describes a quadrature ... oscillating, decaying tails over an infinite interval. The algorithm is based on the assumption that ... infinite series of integrals all of same interval length yields close relations to alternating series ... accelerated approximations. A FORTRAN subroutine for the algorithm is described in detail. Six examples show...
  • Numerica

  • Referenced in 43 articles [sw21227]
  • algorithm of Numerica is based on a combination of traditional numerical methods such as interval...
  • intpakX

  • Referenced in 11 articles [sw00445]
  • mean value form and adaptive subdivision of intervals. The user can choose between ... graphical version of the above algorithms displaying the resulting intervals of each iteration step...