A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization

DOI10.1145/200979.200991zbMath0886.65059OpenAlexW2158490696WikidataQ113310439 ScholiaQ113310439MaRDI QIDQ4371586

Ralph Baker Kearfott

Publication date: 26 January 1998

Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toms/1995-21/

zbMATH Keywords

algorithmsautomatic differentiationinterval arithmeticnonlinear equationssearch algorithmsglobal nonlinear optimizationreliable enclosure

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Nonlinear programming (90C30) Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30)

Related Items

Optimal solution of nonlinear equations, Existence verification for singular and nonsmooth zeros of real nonlinear systems, Optimizing INTBIS on the CRAY Y-MP, Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers, A new global optimization method for univariate constrained twice-differentiable NLP problems, The Forthcoming IEEE Standard 1788 for Interval Arithmetic, On proving existence of feasible points in equality constrained optimization problems

Uses Software

• ACRITH-XSC
• FORTRAN-XSC
• INTBIS
• INTLIB