Media type: Electronic Conference Proceeding Title: Numerical Software with Result Verification (Dagstuhl Seminar 03041) Contributor: Frommer, Andreas [Author]; Kearfott, Ralph Baker [Author]; Luther, Wolfram [Author] imprint: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, 2021 Language: English DOI: https://doi.org/10.4230/DagSemRep.363 Keywords: Data processing Computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: Attribution (CC BY)