Related Books

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

DOWNLOAD 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 with Automatic Result Verification
Language: en
Pages: 626
Authors: Adams
Categories: Computers
Type: BOOK - Published: 1992-12-03 - Publisher: Academic Press

DOWNLOAD EBOOK

Scientific Computing with Automatic Result Verification
C++ Toolbox for Verified Computing I
Language: en
Pages: 389
Authors: Rolf Hammer
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Our aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. This C++ Too
Scientific Computing, Computer Arithmetic, and Validated Numerics
Language: en
Pages: 291
Authors: Marco Nehmeier
Categories: Computers
Type: BOOK - Published: 2016-04-08 - Publisher: Springer

DOWNLOAD 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
Numerical Toolbox for Verified Computing I
Language: en
Pages: 348
Authors: Rolf Hammer
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical pro