HAL - INRIA :: [inria-00071231, version 1] A Proposal to add Interval Arithmetic to the C++ Standard Library

inria-00071231, version 1

A Proposal to add Interval Arithmetic to the C++ Standard Library

Hervé Brönnimann ¹, Guillaume Melquiond () ², Sylvain Pion () ^1, 2

N° RR-5646 (2006)

Résumé : Interval arithmetic is a basic tool for certified mathematical computations, it is presented in many references. We describe here the formal proposal to include interval arithmetic in the C++ standard library.

1 : GEOMETRICA (INRIA Sophia Antipolis)
INRIA
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

inria-00071231, version 1
http://hal.inria.fr/inria-00071231
oai:hal.inria.fr:inria-00071231
Contributeur : Rapport De Recherche Inria <>
Soumis le : Mardi 23 Mai 2006, 14:44:31
Dernière modification le : Mardi 30 Janvier 2007, 16:08:27

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="report"><head>Rapports</head>
<biblStruct type="report" xml:id="inria-00071231"><monogr>
<author><persName><forename>Hervé</forename><surname>Brönnimann</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Sophia Antipolis</orgName>
<orgName type="team">GEOMETRICA</orgName>
<country>FR</country>
<orgName type="institution">INRIA</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">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>
<title type="main" level="m">A Proposal to add Interval Arithmetic to the C++ Standard Library</title><title type="main" level="m">A Proposal to add Interval Arithmetic to the C++ Standard Library</title><imprint><biblScope type="publicationDate">2006-00-00</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00071231</idno><idno type="HALFile">http://hal.inria.fr/inria-00071231/PDF/RR-5646.pdf</idno></biblStruct>
</listBibl>
</listBibl>