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
|