Topics in validated computations. Proceedings of the IMACS-GAMM international workshop, Oldenburg, Germany, 30 August - 3 September 1993

zbMath0803.00016MaRDI QIDQ1340991

Jürgen Herzberger

Publication date: 21 December 1994

Published in: Studies in Computational Mathematics (Search for Journal in Brave)

zbMATH Keywords

ProceedingsWorkshopIMACS-GAMM workshopOldenburg (Germany)Validated computations

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to numerical analysis (65-06)

Related Items

PROFIL/BIAS - A fast interval library ⋮ Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers