The design of the Boost interval arithmetic library - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 2006

The design of the Boost interval arithmetic library

Sylvain Pion

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.
Fichier principal
Vignette du fichier
tcs.pdf (194.12 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00344412 , version 1 (04-12-2008)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More