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

The articles of this volume will be reviewed individually. Indexed articles: \textit{Herzberger, J.}, Basic definitions and properties of interval arithmetic, 1-6 [Zbl 0814.65042] \textit{Alefeld, G.}, Inclusion methods for systems of nonlinear equations -- the interval Newton method and modifications, 7-26 [Zbl 0822.65029] \textit{Yamamoto, T.; Kanno, S.; Atanassova, L.}, Validated computation of polynomial zeros by the Durand-Kerner method, 27-53 [Zbl 0810.65042] \textit{Kanno, S.; Yamamoto, T.}, Validated computation of polynomial zeros by the Durand-Kerner method. II, 55-61 [Zbl 0810.65043] \textit{Rump, S. M.}, Verification methods for dense and sparse systems of equations, 63-135 [Zbl 0813.65072] \textit{Herzberger, J.}, Iterative methods for the inclusion of the inverse of a matrix, 137-171 [Zbl 0814.65031] \textit{Rihm, Robert}, Interval methods for initial value problems in ODEs, 173-207 [Zbl 0815.65095] \textit{Mayer, G.}, Result verification for eigenvectors and eigenvalues, 209-276 [Zbl 0813.65077] \textit{Behnke, H.; Goerisch, F.}, Inclusions for eigenvalues of selfadjoint problems, 277-322 [Zbl 0838.65060] \textit{Plum, Michael}, Inclusion methods for elliptic boundary value problems, 323-379 [Zbl 0814.65105] \textit{Jansson, C.}, On self-validating methods for optimization problems, 381-438 [Zbl 0817.65044] \textit{Heindl, G.}, Inclusion methods in solving engineering problems, 439-461 [Zbl 0810.65046] \textit{Rohn, J.}, NP-hardness results for linear algebraic problems with interval data, 463-471 [Zbl 0810.65025] \textit{Ullrich, Christian P.}, Interval arithmetic on computers, 473-497 [Zbl 0810.65040]