scientific article; zbMATH DE number 193769

MaRDI QIDQ4040570zbMATH OpenFDO

Authors

Publication date 5 June 1993

zbMATH Keywords

Automatic result verificationComputer arithmeticConferenceKarlsruhe (Germany, F.R.)ProceedingsScientific computation

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(10)

• Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
• Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers.
• Global optimization to prescribed accuracy
• scientific article; zbMATH DE number 434860 (Why is no real title available?)
• Enclosure Methods as Applied to Linear Periodic ODEs and Matrices
• scientific article; zbMATH DE number 48694 (Why is no real title available?)
• Scientific computing, validated numerics, interval methods, Karlsruhe, Germany, September 19--22, 2000
• scientific article; zbMATH DE number 804601 (Why is no real title available?)
• Foreword
• Scientific computing with automatic result verification

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4040570)