Topics in validated computations: proceedings of IMACS-GAMM International Workshop on Validated Computation, Oldenburg, Germany, 30 August-3 September 1993

This text provides the interval analysis community with surveys of important recent developments in the creation of validated numerical algorithms. In addition, the publication informs the numerical analysts and appliers of numerical software about the enormous variety of problem-solving algorithms now available, even for sophisticated problems which were beyond reach at the beginning of research some two decades ago. Contributions are sourced from a variety of international experts and together these form a textbook collection of 14 non-overlapping multidisciplinary sections. The introductory chapter contains basic notations, definitions and properties in interval arithmetic, whilst the concluding chapter offers instructions on how to implement interval algorithms. Other problem areas addressed in the bulk of the volume include: systems of nonlinear equations, simultaneous methods for polynomial zeros, linear systems, matrix inversion, matrix eigenvalue problems, eigenvalues of selfadjoint problems, ODE's, PDE's, optimization, problems in engineering, and complexity considerations in linear interval problems.