scientific article
From MaRDI portal
Publication:4040570
zbMath0646.00013MaRDI QIDQ4040570
No author found.
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ConferenceProceedingsScientific computationComputer arithmeticKarlsruhe (Germany, F.R.)Automatic result verification
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (3)
Enclosure Methods as Applied to Linear Periodic ODEs and Matrices ⋮ Solving nonlinear parabolic problems with result verification. I: One- space dimensional case ⋮ Global optimization to prescribed accuracy
This page was built for publication:
