Scientific Computing with Automatic Result Verification

Scientific Computing with Automatic Result Verification
Author :
Publisher : Academic Press
Total Pages : 626
Release :
ISBN-10 : 9780080958750
ISBN-13 : 0080958753
Rating : 4/5 (753 Downloads)

Book Synopsis Scientific Computing with Automatic Result Verification by : Adams

Download or read book Scientific Computing with Automatic Result Verification written by Adams and published by Academic Press. This book was released on 1992-12-03 with total page 626 pages. Available in PDF, EPUB and Kindle. Book excerpt: Scientific Computing with Automatic Result Verification


Scientific Computing with Automatic Result Verification Related Books

Scientific Computing with Automatic Result Verification
Language: en
Pages: 626
Authors: Adams
Categories: Computers
Type: BOOK - Published: 1992-12-03 - Publisher: Academic Press

GET EBOOK

Scientific Computing with Automatic Result Verification
Scientific Computation with Automatic Result Verification
Language: en
Pages: 242
Authors: Ulrich Kulisch
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many
Scientific Computing, Computer Arithmetic, and Validated Numerics
Language: en
Pages: 291
Authors: Marco Nehmeier
Categories: Computers
Type: BOOK - Published: 2016-04-08 - Publisher: Springer

GET EBOOK

This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014. The 22 full p
Accuracy and Reliability in Scientific Computing
Language: en
Pages: 361
Authors: Bo Einarsson
Categories: Science
Type: BOOK - Published: 2005-01-01 - Publisher: SIAM

GET EBOOK

Numerical software is used to test scientific theories, design airplanes and bridges, operate manufacturing lines, control power plants and refineries, analyze
Applied Parallel and Scientific Computing
Language: en
Pages: 501
Authors: Kristján Jónasson
Categories: Computers
Type: BOOK - Published: 2012-02-04 - Publisher: Springer Science & Business Media

GET EBOOK

The two volume set LNCS 7133 and LNCS 7134 constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Applied Paral