R.Baker Kearfott先生 严格的全球搜索：持续的问题。 （英语） Zbl 0876.90082号 非凸优化及其应用. 13. 多德雷赫特：Kluwer学术出版社。xv，262页（1996年）。 该专著概述了基于区间算法的求解方程组和全局优化问题的方法。这两个主题之间的联系在于，寻零几乎是优化过程中不可避免的一部分。本书遵循了自验证的区间算术哲学，正如标题中的“严格”一词所示。这意味着，对于这两个问题中的每一个问题，都需要找到所有解决方案，并将其封装在足够小的盒子中。此外，这些盒子中的解决方案应该是独一无二的本书包含标准结果、新结果和需要进一步开发的结果。强调算法和实用工具，偶尔会出现理论考虑。INTLIB、INTLIB 90和INTOPT 90分别是作者的区间算术软件和库包，也是FORTRAN 77中上述问题的求解器。FORTRAN 90。这本书由七章和247项参考书目组成。第一章（69页）介绍了区间算法、求解线性区间方程、自动微分和代码表生成、区间牛顿法，并简要介绍了拓扑度的概念，这似乎有点超出了本书的区间范围。接下来是关于间隔软件的一章（42页）。主要描述了前面提到的包，其中允许生成代码列表和自动区分。关于预处理的一章（32页）包含了作者自己的一些结果，它提供了将线性区间方程转换为可能具有更紧解区间的方程的技术。关于求解非线性方程组的一章（23页）以分支定界模式介绍了一种相当实用的数值方法，涉及许多软件细节。关于全局优化的章节（40页）只允许等式约束（在方框内）。求解过程基于分枝定界、不可行性检验、应用于John条件的区间牛顿算法以及推广Hansen和Walster 1987年开创性概念（非线性方程与优化，预印本）的可行点存在性的计算执行证明。关于不可微问题的一章（17页）研究了包含if-then-else连接词的函数表达式，获得了关于零搜索的一些新结果。关于中间值的最后一章（8页）仍然停留在这样一个主题的表面上，只包含如何使用这些值来降低过高估计的介绍性示例。审核人：H.Ratschek（杜塞尔多夫） 引用于192文件 MSC公司： 90立方 非线性规划 65G30型 区间和有限算术 90-02 与运筹学和数学规划有关的研究博览会（专著、调查文章） 65H20个 全局方法，包括非线性方程数值解的同伦方法 65千5 数值数学规划方法 65-02 与数值分析相关的研究展览（专著、调查文章） 关键词：基于区间算术的方法;方程组;全局优化;自动微分;区间牛顿法;预处理 软件：国际图书馆;输入_90 PDF格式BibTeX公司 XML格式引用 \textit{R.B.Kearfott}，严格的全球搜索：连续问题。多德雷赫特：Kluwer学术出版社（1996；Zbl 0876.90082）