Download or read book Validation Numerics written by R. Albrecht and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 288 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.