HAL - INRIA :: [inria-00348711, version 1] The Boost Interval Arithmetic Library

inria-00348711, version 1

The Boost Interval Arithmetic Library

Hervé Brönnimann ()^a^, 1, Guillaume Melquiond ()^b^, 2, Sylvain Pion () ^3, 4

Real Numbers and Computers (2003) 65-80

Résumé : We report on the design of the Boost interval arithmetic library, a C++ library designed to efficiently handle mathematical intervals in a generic way. The design of the library is unique in that it uses policies to specify the 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. This library is openly available at http://www.boost.org/ . Using this library, we then examine interval-based ﬁlters to compute the sign of a determinant, proposed by Burnikel and two authors of the library, and revisit and extend their experiments. We also illustrate other uses of the library.

a – Polytechnic University of New York
b – INRIA
1 : Department of Computer and Information Science
Polytechnic University of New York
2 : ARENAIRE (Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme)
INRIA – CNRS : UMR5668 – Université Claude Bernard - Lyon I – École Normale Supérieure - Lyon
3 : GEOMETRICA (INRIA Sophia Antipolis)
INRIA
4 : Max Planck Institut für Informatik (MPII)
Max-Planck-Institut

inria-00348711, version 1
http://hal.inria.fr/inria-00348711
oai:hal.inria.fr:inria-00348711
Contributeur : Sylvain Pion <>
Soumis le : Samedi 20 Décembre 2008, 20:01:43
Dernière modification le : Mercredi 11 Février 2009, 16:11:38

Voir la fiche détaillée

Documents associés

PS :

PDF :

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec actes</head>
<biblStruct type="inproceedings" xml:id="inria-00348711"><analytic>
<author><persName><forename>Hervé</forename><surname>Brönnimann</surname></persName>
<affiliation>
<orgName type="team">Department of Computer and Information Science</orgName>
<country>US</country>
<orgName type="institution">Polytechnic University of New York</orgName>
</affiliation>
</author>
<author><persName><forename>Guillaume</forename><surname>Melquiond</surname></persName>
<affiliation>
<orgName type="laboratory">Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme</orgName>
<orgName type="team">ARENAIRE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR5668</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
<orgName type="institution">École Normale Supérieure - Lyon</orgName>
</affiliation>
</author>
<author><persName><forename>Sylvain</forename><surname>Pion</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Sophia Antipolis</orgName>
<orgName type="team">GEOMETRICA</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">MPII</orgName>
<orgName type="team">Max Planck Institut für Informatik</orgName>
<country>DE</country>
<orgName type="institution">Max-Planck-Institut</orgName>
</affiliation>
</author>
<title type="main" level="a">The Boost Interval Arithmetic Library</title></analytic><monogr><meeting>Real Numbers and Computers</meeting><imprint><pubPlace><settlement>Lyon</settlement><country>France</country></pubPlace><biblScope type="publicationDate">2003-00-00</biblScope><biblScope type="pp">65-80</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00348711</idno><idno type="HALFile">http://hal.inria.fr/inria-00348711/PDF/rnc.pdf</idno></biblStruct>
</listBibl>
</listBibl>