Numerical Software with Result Verification (Dagstuhl Seminar 03041)

Alt, René; Frommer, Andreas; Kearfott, Ralph Baker; Luther, Wolfram

doi:10.4230/DagSemRep.363

Document

Numerical Software with Result Verification (Dagstuhl Seminar 03041)

Authors René Alt, Andreas Frommer, Ralph Baker Kearfott, Wolfram Luther

Part of: Volume: Dagstuhl Seminar Reports (DagSemRep)
Part of: Series: Dagstuhl Seminar Reports (DagSemRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2003-01-24

PDF

File

DagSemRep.363.pdf

Filesize: 281 kB
5 pages

Document Identifiers

DOI: 10.4230/DagSemRep.363
URN: urn:nbn:de:0030-drops-152430

Author Details

René Alt

Andreas Frommer

Ralph Baker Kearfott

Wolfram Luther

Cite As Get BibTex

René Alt, Andreas Frommer, Ralph Baker Kearfott, and Wolfram Luther. Numerical Software with Result Verification (Dagstuhl Seminar 03041). Dagstuhl Seminar Report 363, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003) https://doi.org/10.4230/DagSemRep.363

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail