BibTeX
@inproceedings{DBLP:conf/dagstuhl/CorlissKNPS08,
author = {George F. Corliss and
R. Baker Kearfott and
Nedialko S. Nedialkov and
John D. Pryce and
Spencer Smith},
title = {Interval Subroutine Library Mission},
booktitle = {Reliable Implementation of Real Number Algorithms},
year = {2008},
pages = {28-43},
ee = {http://dx.doi.org/10.1007/978-3-540-85521-7_2},
crossref = {DBLP:conf/dagstuhl/2008real},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dagstuhl/2008real,
editor = {Peter Hertling and
Christoph M. Hoffmann and
Wolfram Luther and
Nathalie Revol},
title = {Reliable Implementation of Real Number Algorithms: Theory
and Practice, International Seminar Dagstuhl Castle, Germany,
January 8-13, 2006, Revised Papers},
booktitle = {Reliable Implementation of Real Number Algorithms},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5045},
year = {2008},
isbn = {978-3-540-85520-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-11-03 by Michael Ley (ley@uni-trier.de)