On proving existence of feasible points in equality constrained optimization problems

Mathematical Programming, Series B

Volumn 83, Issue 1, 1998, Pages 89-100

  Kearfott, R Baker ^a  

^a University of Louisiana at Lafayette   (United States)

Author keywords

Bound constraints; Constrained global optimization; Interval computations; Verified computations

Indexed keywords

EID: 0002640708     PISSN: 00255610     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02680551     Document Type: Article

References (19)

1. R.B. Kearfott, A review of techniques in the verified solution of constrained global optimization problems, in: R.B. Kearfott, V. Kreinovich (Eds.), Applications of Interval Computations, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1996, pp. 23-60.
2. E.R. Hansen, Global Optimization using Interval Analysis, Marcel Dekker, New York, 1992.
3. R.B. Kearfott, Rigorous Global Search: Continuous Problems, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1996.
4. H. Ratschek, J. Rokne, New Computer Methods for Global Optimization, Wiley, New York, 1988.
5. M.A. Wolfe, An interval algorithm for constrained global optimization, Journal of Computational and Applied Mathematics 50 (1994) 605-612.
6. C. Jansson, O. Knüppel, A global minimization method: The multi-dimensional case, Technical Report 92.1, Informationstechnik, Technische Uni. Hamburg-Harburg, Hamburg, Germany, 1992.
7. O. Caprani, B. Godthaab, K. Madsen, Use of a real-valued local minimum in parallel interval global optimization, Interval Computations 3 (1993) 71-82.
8. R.B. Kearfott, On verifying feasibility in equality constrained optimization problems, Technical report, University of Southwestern Louisiana, Lafayette, LA, 1994.
9. A. Neumaier, Interval Methods for Systems of Equations, Cambridge Univ. Press, Cambridge, UK, 1990.
10. G. Alefeld, J. Herzberger, Introduction to Interval Computations, Academic Press, New York, 1983.
11. R.E. Moore, Methods and Applications of Interval Analysis, SIAM, Philadelphia, PA, 1979.
12. R.B. Kearfott, Preconditioners for the interval Gauss-Seidel method, SIAM Journal on Numerical Analysis 27 (1977) 804-822.
13. G. Mayer, Epsilon-inflation in verification algorithms, Journal of Computational and Applied Mathematics 60 (1994) 147-169.
14. S.M. Rump, Kleine Fehlerschranken bei Matrixproblemen, Ph.D. Thesis, Universität Karlsruhe, Karlsruhe, Germany, 1980.
15. S.M. Rump, Verification methods for dense and sparse systems of equations, in: J. Herzberger (Ed.), Topics in Validated Computations, Elsevier, Amsterdam, The Netherlands, 1994, pp. 63-135.
16. C.A. Floudas, P.M. Pardalos, A Collection of Test Problems for Constrained Global Optimization Algorithms, Springer, New York, 1990.
17. R.B. Kearfott, A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization, ACM Transactions on Mathematical Software 21 (1995) 63-78.
18. A.R. Conn, N. Gould, Ph.L. Toint, LANCELOT: A Fortran Package for Large-Scale Nonlinear Optimization, Springer, New York, 1992.
19. B.P. Kristinsdottir, Z.B. Zabinsky, T. Csendes, M.E. Tuttle, Methodologies for tolerance intervals, Interval Computations 3 (1993) 133-147.