MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Combining Interval Constraint Solving Methods

Download:
Download as a PDF | Download as a PS
by Laurent Granvilliers
http://www.sciences.univ-nantes.fr/info/perso/permanents/granvil/papers/grc00.ps.gz
Add To MetaCart

Abstract:

Abstract. This paper discusses the combination of interval methods for solving nonlinear systems, and focuses on interval-based local consistencies and the multidimensional interval Newton method. The existing algorithms are revised in order to introduce a more cooperative strategy of application of elementary solvers that may prevent slow convergence phenomena and unnecessary computations. A set of experiments for comparing several algorithms is reported.

Citations

572 Interval Analysis – Moore - 1966
356 Global optimization using interval analysis – Hansen - 1992
332 Interval Methods for Systems of Equations – Neumaier - 1990
157 Applying interval arithmetic to real, integer and Boolean constraints – Benhamou, Older - 1997
153 Consistency techniques for numeric csps – Lhomme - 1993
129 Numerica: a Modeling Language for Global Optimization – Hentenryck, Michel, et al. - 1997
109 Hentenryck. CLP(Intervals) Revisited – Benhamou, McAllester, et al. - 1994
89 Solving Polynomial Systems Using a Branch and Prune Approach – Hentenryck, McAllester, et al. - 1997
86 Cylindric Algebras – Henkin, Monk, et al. - 1971
72 The essence of constraint propagation – Apt - 1999
65 Standard for Binary Floating-Point Arithmetic – IEEE - 1985
44 Beyond the glass box: constraints as objects – Puget, Leconte - 1995
37 Heterogeneous constraint solving – Benhamou - 1996
30 On the numerical condition of polynomials – Farouki, Rajan - 1987
29 Revising Hull and Box Consistency – Benhamou, Goualard, et al. - 1999
28 Some tests of generalized bisection – Kearfott - 1987
22 PHCPACK: A general-purpose solver for polynomial systems by homotopy continuation – Verschelde - 1999
20 Dynamic optimization of interval narrowing algorithms – Lhomme, Gotlieb, et al. - 1998
19 Computation and application of Taylor polynomials with interval remainder bounds – Berz, Hoffstätter - 1998
14 Solving Strict Polynomial Inequalities by Bernstein Expansion – Garloff, Graf - 1999
11 Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations – Stahl - 1995
7 A more complete interval arithmetic – Kahan - 1968
7 The test database of polynomial systems – Verschelde - 2003
6 Box Consistency through Weak Box Consistency – Granvilliers, Goualard, et al. - 1999
3 Centered forms – Ratschek - 1980