约旦尼宁 基于承包商编程的全局优化：IBEX库概述。 （英语） Zbl 1460.65080号 Kotsireas，Ilias S.（编辑）等人，《计算机和信息科学的数学方面》。2015年11月11日至13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9582, 555-559 (2016). 摘要：IBEX是一个开源C++库，用于实数约束处理。它为处理非线性约束提供了可靠的算法。特别是，还考虑了舍入误差。它基于区间算法和仿射算法。IBEX的主要特点是它能够通过承包商编程范式以声明方式构建策略。它还可以用作黑盒解算器或与AMPL接口一起使用。可以解决的两个象征性问题是：（i）系统求解：计算（非线性）方程组的每个解的保圈；（ii）全局优化：计算非线性约束下某函数的全局极小值，目标极小值有保证可靠的界。关于整个系列，请参见[Zbl 1334.68018号]. 引用于1文件 理学硕士： 65K10码 数值优化和变分技术 65G30型 区间和有限算术 65克50 舍入误差 65日元 数值算法的封装方法 90-04 与运筹学和数学编程有关的问题的软件、源代码等 90C26型 非凸规划，全局优化 软件：AMPL公司;个人资料/偏差;IBEX公司;细屑++ PDF格式BibTeX公司 XML格式引用 \textit{J.Ninin}，莱克特。注释计算。科学。9582、555--559（2016；Zbl 1460.65080） 全文： 内政部 哈尔