×

Boost间隔算术

swMATH ID: 13013
软件作者: 埃尔维·布伦尼曼;梅尔金德(Melquiond)、纪尧姆(Guillaume);西尔万·皮昂
描述: Boost区间算法库的设计。我们介绍了Boost区间算术库的设计,这是一个C++库,旨在以通用的方式有效地处理数学区间。区间计算是可靠计算的基本工具。越来越多的数学证明依赖于使用带区间计算的分枝定界算法解决的全局优化问题;因此,在数学上正确地实现区间算术是非常重要的。各种实现具有不同的语义。我们的设计是独特的,因为它使用策略来指定三个独立变量行为:舍入、检查和比较。因此,通过适当的策略,我们的区间库能够模拟几乎所有可用于区间算术的专用库,而不会损失性能,也不会牺牲易用性。该图书馆可在www.boost.org上公开获取。
主页: http://www.boost.org/doc/libs/1_46_1/libs/numeric/interval/doc/intervall.htm
相关软件: 促进;利比亚中央银行;细屑++;MPFI公司;男爵;GloMIQO公司;LINDO全球;林多;SCIP公司;安提戈内;MINL库;MINLP公司;邦明;RealPaver公司;AMPL公司;国际实验室;椰子;玫瑰色;APOGEE公司;GLOPEQ公司
引用于: 18文件

按年份列出的引文