Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers

Computing (Vienna/New York)

Volumn 57, Issue 2, 1996, Pages 149-162

  Kearfott, R Baker ^a,b  

^a University of Southwestern Louisiana ^*

^b UNIVERSITY OF LOUISIANA AT LAFAYETTE   (United States)

Author keywords

Global optimization; Interval extensions; L1 approximation; Minimax approximation; Nonlinear systems of equations; Nonsmooth optimization

Indexed keywords

APPROXIMATION THEORY; CALCULATIONS; OPTIMIZATION;

GLOBAL OPTIMIZATION; INTERVAL EXTENSIONS; NEWTON METHODS; NON SMOOTH OPTIMIZATION;

NONLINEAR EQUATIONS;

EID: 0030409154     PISSN: 0010485X     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02276877     Document Type: Article

References (24)

1. Alefeld, G., Herzberger, J.: Introduction to interval computations. New York: Academic Press 1983.
2. Bleher, J. H., Rump, S. M., Kulisch, U., Metzger, M., Ullrich, C., Watter. W : FORTRAN-SC - A study of a Fortran extension for engineering scientific computation with access to ACRITH. Computing 39, 93-110 (1987).
3. Csendes, T : Test results of interval methods for global optimization. In: Computer arithmetic, scientific computing, and mathematical modelling (Kaucher, E., Markov, S. M., Mayer. G., eds.), pp. 417-424. Basel: J. C. Baltzer AG 1992.
4. Hammer, R., Hocks, M., Kulisch, U., Ratz, D. Numerical toolbox for verified computing I. New York: Springer 1993.
5. Hammer, R., Neaga, M., Ratz, D.: PASCAL-XSC. New concepts for scientific computation and numerical data processing. In: Scientific computing with automatic result verification (Adams, E-. Kulisch. V., eds.). pp. 15-44. New York: Academic Press 1993.
6. Hansen, E. R Global optimization using interval analysis New York: M. Dekker 1992.
7. Herzberger, J , ed., Topics in validated computations. Studies in Computational Mathematics. Amsterdam: Elsevier 1994.
8. Jansson, C.: A global optimization method using interval arithmetic. In: Computer arithmetic and enclosure methods (Atanassova, L., Herzberger, J , eds). pp. 259-268. Amsterdam: North-Holland 1992.
9. Jansson, C.: On self-validating methods for optimization problems. In: Topics in validated computations (Herzberger, J., ed.). pp. 381-439. Amsterdam: North-Holland 1994.
10. Jansson, C., Knüppel, O.: A global minimization method: The multi-dimensional case. Technical Report 92.1, Informationstechnik, Technische Uni. Hamburg-Harburg 1992
11. Jansson, C., Knüppel, O : Numerical results for a self-validating global optimization method. Technical Report 94.1, Technical University Hamburg-Harburg, February 1994.
12. Kearfott, R. B.: Empirical evaluation of innovations in interval branch and bound algorithms for nonlinear algebraic systems, 1994 SIAM J. Sci. Comput. to appear
13. Kearfott, R B.: A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization. ACM Trans. Math. Software 21, 63-78 (1995).
14. Kearfott, R. B.: Test results for an interval branch and bound algorithm for equality-constrained optimization. In: State of the art in global optimization. computational methods and applications (Floudas, C., Pardalos, P. M., eds.). pp. 181-200. Dordecht: Kluwer 1995.
15. Kearfott, R. B.: Treating non-smooth functions as smooth functions in global optimization and nonlinear systems solvers. In: Scientific computing and validated numerics (Alefeld, G., Frommer, A., eds.). Berlin: Akademie Verlag, to appear.
16. Kearfott, R. B.: Rigorous branch and bound methods. Dordrecht: Kluwer, to appear
17. Kearfott, R, B., Dawande, M., Du, K.-S., Hu, C-Y.: Algorithm 737: INTLIB, a portable FORTRAN 77 interval standard function library. ACM Trans. Math. Software 20, 447-459 (1994).
18. Lawo, C.: C-XSC - a programming environment for verified scientific computing and numerical data processing. In: Scientific computing with automatic result verification (Adams, E., Kulisch, V., eds.), pp. 71-86. New York: Academic Press 1993.
19. Moore, R. E.: Methods and applications of interval analysis. Philadelphia: SIAM 1979.
20. Neumaier. A.: Interval methods for systems of equations. Cambridge: Cambridge University Press 1990.
21. Ratschek, H., Rokne. J.: New computer methods for global optimization. New York: Wiley 1988.
22. Ratz, D. Automatische Ergebnisverinkation bei globalen Optimierungsproblemen. PhD thesis, Universität Karlsruhe 1992.
23. Ratz, D.: An inclusion algorithm for global optimization in a portable PASCAL-XSC implementation. In: Computer arithmetic and enclosure methods (Atanassova. L., Herzberger. J., eds.), pp. 329-338, Amsterdam: North-Holland 1992.
24. Rump, S. M. Verification methods for dense and sparse systems of equations. In: Topics in validated computations (Herzberger, J., ed.), pp. 63-135. Amsterdam: Elsevier 1994.