The design of the Boost interval arithmetic library

Abstract : We present the design of the Boost interval arithmetic library, a C++ library designed to efficiently handle mathematical intervals 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, 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.
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/inria-00344412
Contributor : Sylvain Pion <>
Submitted on : Thursday, December 4, 2008 - 4:41:31 PM
Last modification on : Thursday, November 21, 2019 - 2:12:56 AM
Long-term archiving on: Monday, June 7, 2010 - 11:45:51 PM

File

tcs.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion. The design of the Boost interval arithmetic library. Theoretical Computer Science, Elsevier, 2006, Real Numbers and Computers, 351 (1), pp.111-118. ⟨10.1016/j.tcs.2005.09.062⟩. ⟨inria-00344412⟩

Share

Metrics

Record views

630

Files downloads

497