The design of the Boost interval arithmetic library - Archive ouverte HAL
Article Dans Une Revue Theoretical Computer Science Année : 2006

The design of the Boost interval arithmetic library

Sylvain Pion

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
390 Consultations
430 Téléchargements

Altmetric

Partager

More