HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

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 metadata

Cited literature [10 references]  Display  Hide  Download

Contributor : Sylvain Pion Connect in order to contact the contributor
Submitted on : Thursday, December 4, 2008 - 4:41:31 PM
Last modification on : Friday, February 4, 2022 - 3:22:45 AM
Long-term archiving on: : Monday, June 7, 2010 - 11:45:51 PM


Files produced by the author(s)




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⟩



Record views


Files downloads