René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther, editors, Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers. Volume 2991 of Lecture Notes in Computer Science, Springer, 2004.
Conference: Dagstuhl2004
@proceedings{dagstuhl:2003ns,
title = {Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
year = {2004},
researchr = {https://researchr.org/publication/dagstuhl%3A2003ns},
cites = {0},
citedby = {0},
booktitle = {Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
conference = {Dagstuhl},
editor = {René Alt and Andreas Frommer and R. Baker Kearfott and Wolfram Luther},
volume = {2991},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-21260-4},
}