@inproceedings{DBLP:conf/dagstuhl/PionBM06,
author = {Sylvain Pion and
Herv{\'e} Br{\"o}nnimann and
Guillaume Melquiond},
title = {A Proposal to add Interval Arithmetic to the C++ Standard
Library},
booktitle = {Reliable Implementation of Real Number Algorithms},
year = {2006},
ee = {http://drops.dagstuhl.de/opus/volltexte/2006/718},
crossref = {DBLP:conf/dagstuhl/2006P6021},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dagstuhl/2006P6021,
editor = {Peter Hertling and
Christoph M. Hoffmann and
Wolfram Luther and
Nathalie Revol},
title = {Reliable Implementation of Real Number Algorithms: Theory
and Practice, 08.01. - 13.01.2006},
booktitle = {Reliable Implementation of Real Number Algorithms},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
volume = {06021},
year = {2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}