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.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2006, Real Numbers and Computers, 351 (1), pp.111-118. 〈10.1016/j.tcs.2005.09.062〉
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00344412
Contributeur : Sylvain Pion <>
Soumis le : jeudi 4 décembre 2008 - 16:41:31
Dernière modification le : vendredi 20 avril 2018 - 15:44:24
Document(s) archivé(s) le : lundi 7 juin 2010 - 23:45:51

Fichier

tcs.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

503

Téléchargements de fichiers

235