@inproceedings{DBLP:conf/dagstuhl/GrimmerPR03,
author = {Markus Grimmer and
Knut Petras and
Nathalie Revol},
title = {Multiple Precision Interval Packages: Comparing Different
Approaches},
booktitle = {Numerical Software with Result Verification},
year = {2003},
pages = {64-90},
ee = {http://dx.doi.org/10.1007/978-3-540-24738-8_4},
crossref = {DBLP:conf/dagstuhl/2003ns},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dagstuhl/2003ns,
editor = {Ren{\'e} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Numerical Software with Result Verification, International
Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24,
2003, Revised Papers},
booktitle = {Numerical Software with Result Verification},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2991},
year = {2004},
isbn = {3-540-21260-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
