
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 seminumerical version, using multiprecision 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 fixedprecision 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 selfvalidating algorithms. It comprises of selfvalidating 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 standardfunction 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 selfcontained ... 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 ICMAlgorithm ... 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 branchandbound 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 intervalbased computations in a branchandbound...

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...