Boost Interval算术 swMATH ID: 13013 软件作者: 埃尔维·布伦尼曼;纪尧姆·梅尔昆德;西尔万·皮昂 描述: Boost区间算法库的设计。我们介绍了Boost区间算术库的设计,这是一个C++库,旨在以通用的方式有效地处理数学区间。区间计算是可靠计算的基本工具。越来越多的数学证明依赖于使用带区间计算的分枝定界算法解决的全局优化问题;因此,在数学上正确地实现区间算术是非常重要的。各种实现具有不同的语义。我们的设计的独特之处在于,它使用策略来指定三种自变量行为:四舍五入、检查和比较。因此,通过适当的策略,我们的区间库能够模拟几乎所有可用于区间算术的专用库,而不会损失性能,也不会牺牲易用性。该图书馆可在www.boost.org上公开获取。 主页: http://www.boost.org/doc/libs/1_46_1/libs/numeric/interval/doc/intervall.htm 相关软件: 促进;利比亚中央银行;细屑++;MPFI公司;BARON公司;GloMIQO公司;LINDO全球;林多;SCIP公司;安提戈内;MINL库;MINLP公司;邦明;RealPaver公司;AMPL公司;国际实验室;椰子;玫瑰色;APOGEE公司;GLOPEQ公司 引用于: 18文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Boost区间算法库的设计。 Zbl 1086.65046号埃尔维·布伦尼曼;纪尧姆·梅尔金德;西尔万·皮昂 2006 全部的 前5名43位作者引用 3 Christodoulos Achilleus弗洛达斯 3 露丝·米塞纳 1 亚历山德罗·阿巴特 1 保罗·巴顿。 1 路易斯·贝内特 1 伊奥里·贝萨 1 Jean-Daniel Boissonnat 1 法尼省布库瓦拉 1 埃尔维·布伦尼曼 1 阿米特·查托帕迪亚伊(Amit K.Chattopadhyay)。 1 Lucas科代罗 1 帕特里克·库索特 1 克里斯蒂娜·大卫 1 邓建松 1 延斯·多森 1 卢卡·费兰蒂 1 福雷德里克·古阿拉德 1 帕斯卡·凯塞利 1 丹尼尔·科宁 1 刘,袁 1 安德烈亚斯·伦德尔 1 米哈利·萨巴·马科特 1 马蒂厄·马特尔 1 纪尧姆·梅尔金德 1 乌韦,瑙曼 1 马可·内梅耶 1 西尔万·皮昂 1 伊丽莎白·波尔格林 1 娜塔莉·雷沃 1 赫尔曼·施奇尔 1 Joseph K.斯科特。 1 安德斯·斯科亚尔 1 宋彦之 1 普尔泽米斯·斯普雷克 1 雅塞克·塔波尔 1 莫妮克·泰劳德 1 格特·维格特 1 哈里·A·J·沃森。 1 阿希姆·韦奇松 1 塔皮奥·韦斯特伦德 1 杨,周旺 1 Yap,Chee-Keng先生 1 谢尔盖·日林。 全部的 前5名12篇连载文章中引用 4 全球优化杂志 1 信息学报 1 ACM数学软件汇刊 1 计算 1 最优化理论与应用杂志 1 理论计算机科学 1 计算机辅助几何设计 1 符号计算杂志 1 Aequationes数学 1 欧洲运筹学杂志 1 SIAM优化杂志 1 数学与可视化 全部的 前5名在8个字段中引用 13 数值分析(65-XX) 7 运筹学、数学规划(90-XX) 4 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 实际功能(26-XX) 1 差分和函数方程(39至XX) 1 变分法与最优控制;最优化(49至XX) 1 系统论;控制(93至XX) 按年份列出的引文