Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.
R. Kearfott, M. Neher, S. Oishi, and F. Rico. Numerical Software with Result Verification, volume 2991 of Lecture Notes in Computer Science, page 36-63. Springer, (2003)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/dagstuhl/KearfottNOR03
%A Kearfott, R. Baker
%A Neher, Markus
%A Oishi, Shin'ichi
%A Rico, Fabien
%B Numerical Software with Result Verification
%D 2003
%E Alt, René
%E Frommer, Andreas
%E Kearfott, R. Baker
%E Luther, Wolfram
%I Springer
%K dblp
%P 36-63
%T Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.
%U http://dblp.uni-trier.de/db/conf/dagstuhl/ns2003.html#KearfottNOR03
%V 2991
%@ 3-540-21260-4
@inproceedings{conf/dagstuhl/KearfottNOR03,
added-at = {2017-05-19T00:00:00.000+0200},
author = {Kearfott, R. Baker and Neher, Markus and Oishi, Shin'ichi and Rico, Fabien},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24df1213aef92659e7bcaccf728e55fc7/dblp},
booktitle = {Numerical Software with Result Verification},
crossref = {conf/dagstuhl/2003ns},
editor = {Alt, René and Frommer, Andreas and Kearfott, R. Baker and Luther, Wolfram},
ee = {https://doi.org/10.1007/978-3-540-24738-8_3},
interhash = {faf1080225401abf41bfdb56f94c473a},
intrahash = {4df1213aef92659e7bcaccf728e55fc7},
isbn = {3-540-21260-4},
keywords = {dblp},
pages = {36-63},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-27T12:52:23.000+0200},
title = {Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.},
url = {http://dblp.uni-trier.de/db/conf/dagstuhl/ns2003.html#KearfottNOR03},
volume = 2991,
year = 2003
}