×

Found 2 Documents (Results 1–2)

Libraries, tools, and interactive systems for verified computations four case studies. (English) Zbl 1126.65329

Alt, René (ed.) et al., Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19–24, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21260-4/pbk). Lecture Notes in Computer Science 2991, 36-63 (2004).
MSC:  65Y15 65G20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software