R.Baker Kearfott先生 GlobSol用户指南。 （英语） Zbl 1180.90314号 最佳方案。方法软件。 24，编号4-5，687-708（2009）. 摘要：我们解释了GlobSol包的安装和使用，该包用于约束和无约束全局优化问题以及非线性方程组的所有解决方案的数学严格边界。本文档应该既适用于需要解决优化问题的人，也适用于将GlobSol的组件集成到其他系统或为GlobSol提供接口的人。 引用于15文件 MSC公司： 90立方 非线性规划 65千5 数值数学规划方法 90C26型 非凸规划，全局优化 65G20个 具有自动结果验证的算法 关键词：非凸优化；全局优化；全球溶胶；约束传播 软件：BARON公司；全球溶胶 PDF格式BibTeX公司 XML格式引用 \textit{R.B.Kearfott}，Optim（Optim）。方法软件。24，编号4--5，687--708（2009；Zbl 1180.90314） 全文： DOI程序