Skip to content

Scientific Computation with Automatic Result Verification

Spend $50 to get a free movie!

ISBN-10: 3211820639

ISBN-13: 9783211820636

Edition: 1988

Authors: Ulrich Kulisch, Hans J. Stetter

List price: $76.50
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


This "Computing "Supplementum collects a number of original contributions which all aim to compute rigorous and reliable error bounds for the solution of numerical problems. An introductory article by the editors about the meaning and diverse methods of automatic result verification is followed by 16 original contributions. The first chapter deals with automatic result verification for standard mathematical problems, such as enclosing the solution of ordinary boundary value problems, linear programming problems, linear systems of equations and eigenvalue problems. The second chapter deals with applications of result verification methods to problems of the technical sciences. The…    
Customers also bought

Book details

List price: $76.50
Copyright year: 1988
Publisher: Springer Wien
Publication date: 10/25/1988
Binding: Paperback
Pages: 244
Size: 6.69" wide x 9.61" long
Weight: 1.144
Language: English