The design of the Boost interval arithmetic library
The design of the Boost interval arithmetic library
复制标题
DOI：
10.1016/j.tcs.2005.09.062
复制
发表时间：
2006-02-14
影响因子：
1.1
通讯作者：
Pion, S
中科院分区：
文献类型：
--
作者：
Brönnimann, H;Melquiond, G;Pion, S
我们介绍Boost区间算术库的设计，这是一个C++库，旨在以通用的方式高效地处理数学区间。区间计算是可靠计算的重要工具。越来越多的数学证明依赖于使用带有区间计算的分支定界算法解决的全局优化问题，因此拥有数学上正确的区间算术实现极其重要。存在具有不同语义的各种实现。我们的设计独特之处在于它使用策略来指定三种独立的变量行为：舍入、检查和比较。因此，通过适当的策略，我们的区间库能够模拟几乎任何可用于区间算术的专用库，既不损失性能，也不牺牲易用性。该库可在www.boost.org上公开获取。(c) 2005 Elsevier B.V. 保留所有权利。
We present the design of the Boost interval arithmetic library, a C++ library designed to handle mathematical intervals efficiently and in a generic way. Interval computations are an essential tool for reliable computing. Increasingly a number of mathematical proofs have relied on global optimization problems solved using branch-and-bound algorithms with interval computations, it is therefore extremely important to have a mathematically correct implementation of interval arithmetic. Various implementations exist with diverse semantics. Our design is unique in that it uses policies to specify three independent variable behaviors: rounding, checking, and comparisons. As a result, with the proper policies, our interval library is able to emulate almost any of the specialized libraries available for interval arithmetic, without any loss of performance nor sacrificing the ease of use. This library is openly available at www.boost.org. (c) 2005 Elsevier B.V. All fights reserved.