The articles in this book give a comprehensive overview on the whole field of validated numerics. The problems covered include simultaneous systems of linear and nonlinear equations, differential and integral equations and certain applications from technical sciences. Furthermore some papers which improve the tools are included. The book is a must for scientists working in numerical analysis, computer science and in technical fields.

Ten years ago, the term "defect correction" was introduced to characterize a class of methods for the improvement of an approximate solution of an operator equation. This class includes many well-known techniques (e.g. Newton's method) but also some novel approaches which have turned out to be quite efficient. Meanwhile a large number of papers and reports, scattered over many journals and institutions, have appeared in this area. Therefore, a working conference on "Error Asymptotics and Defect Corrections" was organized by K. Bohmer, V. Pereyra and H. J. Stetter at the Mathematisches...