You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Scientific Computing with Automatic Result Verification
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.
None