A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization

ACM Transactions on Mathematical Software (TOMS)

Volumn 21, Issue 1, 1995, Pages 63-78

  Kearfott, R Baker ^a  

^a UNIVERSITY OF LOUISIANA AT LAFAYETTE   (United States)

Author keywords

automatic differentiation; Fortran 90; global optimization; nonlinear algebraic systems; symbolic computation

Indexed keywords

AUTOMATIC DIFFERENTIATION; BACKWARD MODES; CONDITIONAL BRANCHES; DERIVATIVE INFORMATIONS; DESIGN PRINCIPLES; DYNAMIC DATA STRUCTURES; EXHAUSTIVE SEARCH ALGORITHMS; FORTRAN 90; INEQUALITY CONSTRAINTS; INTERNAL REPRESENTATIONS; INTERVAL COMPUTATIONS; INTERVAL DATUM; NON-LINEAR OPTIMIZATIONS; NONLINEAR ALGEBRAIC SYSTEMS; OPERATOR OVERLOADING; PRODUCTION WORKS; PROTOTYPING; SYMBOLIC COMPUTATION; SYSTEMS OF EQUATIONS;

CONSTRAINED OPTIMIZATION; DATA STRUCTURES; ENCLOSURES; FORTRAN (PROGRAMMING LANGUAGE); GLOBAL OPTIMIZATION; LEARNING ALGORITHMS; NONLINEAR SYSTEMS;

NONLINEAR EQUATIONS;

EID: 0002089855     PISSN: 00983500     EISSN: 15577295     Source Type: Journal    
DOI: 10.1145/200979.200991     Document Type: Article

References (40)

1. ALEFELD, G. AND HERZBERGER, J. 1983. Introduction to Interval Computations. Academic Press, New York.
2. BLEHER, J. H., RUMP, S. M., KULISCH, U., METZGER, M., ULLRICH, C., AND WALTER, W. 1987. Fortran-SC-A study of a Fortran extension for engineering scientific computation with access to ACRITH. Computing 39, 2, 93-110.
3. BRAINERD, W. S., GOLDBERG, C. H., AND ADAMS, J. C. 1990. Programmer's Guide to Fortran 90. McGraw-Hill, New York.
4. CHRISTIANSON, B. 1992. Reverse accumulation and accurate rounding error estimates for Taylor series coefficients. Optim. Meth. Softw. 1, 1, 81-94.
5. CRARY, F. 1976. The AUGMENT precompiler. Tech. Rep. 1470, Mathematics Research Center, Univ. of Wisconsin, Madison.
6. DIXON, L. C. W., MAANY, Z., AND MOHSENINIA, M. 1990. Automatic differentiation of large sparse systems. J. Econ. Dyn. Control 14, 299-311.
7. FLOUDAS, C. A. AND PARDALOS, P. M., (EDS.) 1992. Recent Advances in Global Optimization. Princeton University Press, Princeton, N.J.
8. FLOUDAS, C. A. AND PARDALOS, P. M. 1990. A Collection of Test Problems for Constrained Global Optimization Algorithms. Springer-Verlag, New York.
9. GRIEWANK, A. 1991a. The chain rule revisited in scientific computing. SIAM News 24, 3, 20-21.
10. GRIEWANK, A. 1991b. The chain rule revisited in scientific computing. SIAM News 24, 4, 8-24.
11. GRIEWANK, A. AND CORLISS, G. F., (EDS.) 1991. Automatic Differentiation of Algorithms: Theory, Implementation, and Application. SIAM, Philadelphia, Pa.
12. HAGER, G. D. 1993. Solving large systems of nonlinear constraints with application to data modeling. Interval Comput., 2, 169-200.
13. HAGER, G. 1990. Interval-based techniques for sensor data fusion. Prepr. GRASP Lab, Univ. of Pennsylvania, Philadelphia, Pa.
14. HANSEN, E. R. 1992. Global Optimization using Interval Analysis. Marcel Dekker, New York.
15. IRI, M. AND KUBOTA, K. 1987. Methods of fast automatic differentiation and applications. Tech. Rep. RMI 87-02, Dept. of Mathematical Engineering and Instrumentation Physics, Univ. of Tokyo, Japan.
16. JAN, C.-H. 1992. Expression parsing and rigorous computation of bounds on all solutions to practical nonlinear systems. Ph.D. dissertation, Dept. of Mathematics, Univ. of Southwestern Louisiana, Lafayette, La.
17. KEARFOTT, R. B. 1992. An interval branch and bound algorithm for bound constrained optimization problems. J. Global Optim. 2, 259-280.
18. KEARFOTT, R. B. 1991. Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems. Computing 47, 2, 169-191.
19. KEARFOTT, R. B. 1990a. Interval Newton/generalized bisection when there are singularities near roots. Ann. Oper. Res. 25, 1, 181-196.
20. KEARFOTT, R. B. 1990b. Preconditioners for the interval Gauss-Seidel method. SIAM J. Numer. Anal. 27, 3 (June), 804-822.
21. KEARFOTT, R. B. 1987. Abstract generalized bisection and a cost bound. Math. Comput. 49, 179 (July), 187-202.
22. KEARFOTT, R. B. AND DU, K. 1992. The cluster problem in multivariate global optimization. Preprint, Dept. of Mathematics, Univ. of Southwestern Louisiana, Lafayette, La.
23. KEARFOTT, R. B. AND NOVOA, M. 1990. INTBIS, a portable interval Newton/bisection package (Algorithm 681). ACM Trans. Math. Softw. 16, 2, 152-157.
24. KEARFOTT, R. B. AND SHI, X. 1993. A preconditioner selection heuristic for efficient iteration with decomposition of arithmetic expressions for nonlinear systems. Interval Comput., 1, 15-33.
25. KEARFOTT, R. B. AND XING. Z. 1994. Rigorous computation of surface patch intersection curves. Preprint. Dept. of Mathematics, Univ. of Southwestern Louisiana, Lafayette, La.
26. KEARFOTT, R. B., DAWANDE, M., DU. K.-S., AND HU, C.-Y. 1994. Algorithm 737: INTLIB: A portable Fortran 77 interval standard-function library. ACM Trans. Math. Softw. 20, 4.
27. KEARFOTT, R. B., DAWANDE, M., Du K.-S., AND HU, C.-Y. 1992. INTLIB: A portable Fortran-77 elementary function library. Interval Comput. 3, 5.
28. KEARFOTT, R. B., HU, C. Y., AND NOVOA, M., III. 1991. A review of preconditioners for the interval Gauss-Seidel method. Interval Comput. 1, 1, 59-85.
29. MOORE, R. E. 1979. Methods and Applications of Interval Analysis. SIAM, Philadelphia, Pa.
30. NEIDINGER, R. D. 1992. An efficient method for the numerical evaluation of partial derivatives of arbitrary order. ACM Trans. Math. Softw. 18, 2 (June), 159-173.
31. NEUMAIER, A. 1990. Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, U.K.
32. RALL, L. B. 1987. An introduction to the scientific computing language Pascal-SC. Comput. Math. Appl. 14, 1, 53-59.
33. RALL, L. B. 1981. Automatic Differentiation: Techniques and Applications. Springer-Verlag, New York.
34. RATSCHEK, H. AND ROKNE, J. 1988. New Computer Methods for Global Optimization. Wiley, New York.
35. SNYDER, J. M. 1992. Interval analysis for computer graphics. Comput. Graph. 26, 2 (July), 121-130.
36. WALSTER, G. W., HANSEN, E. R., AND SENGUPTA, S. 1985. Test results for a global optimization algorithm. In Numerical Optimization 1984, P. T. Boggs, R. H. Byrd, and R. B. Schnabel, Eds. SIAM Philadelphia, Pa., 272-287.
37. WALTER, W. V. 1993a. FORTRAN-XSC: A portable Fortran 90 module library for accurate and reliable scientific computing. Comput. Suppl. 9, 265-286.
38. WALTER, W. V. 1993b. ACRITH-XSC: A Fortran-like language for verified scientific computing. In Scientific Computing with Automatic Result Verification, E. Adams and U. Kulish, Eds., Academic Press, New York.
39. WENGERT, R. E. 1964. A simple automatic derivative evaluation program. Commun. ACM 7, 8 (Aug.), 463-464.
40. YOHE, J. M. 1979. Software for interval arithmetic: A reasonably portable package. ACM Trans. Math. Softw. 5, 1, 50-53.