Related Books
Language: en
Pages: 242
Pages: 242
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many
Language: en
Pages: 626
Pages: 626
Type: BOOK - Published: 1992-12-03 - Publisher: Academic Press
Scientific Computing with Automatic Result Verification
Language: en
Pages: 389
Pages: 389
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 291
Pages: 291
Type: BOOK - Published: 2016-04-08 - Publisher: Springer
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
Language: en
Pages: 348
Pages: 348
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
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
