Related Books

Validated Numerics
Language: en
Pages: 152
Authors: Warwick Tucker
Categories: Computers
Type: BOOK - Published: 2023-06-06 - Publisher: Princeton University Press

DOWNLOAD EBOOK

A comprehensive, self-contained primer on validated numerics This textbook provides a comprehensive introduction to the theory and practice of validated numeric
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
Verification and Validation in Scientific Computing
Language: en
Pages: 782
Authors: William L. Oberkampf
Categories: Computers
Type: BOOK - Published: 2010-10-14 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public policy.
Scientific Computing, Validated Numerics, Interval Methods
Language: en
Pages: 385
Authors: Walter Krämer
Categories: Computers
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Scan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the International Co
Accuracy and Reliability in Scientific Computing
Language: en
Pages: 348
Authors: Bo Einarsson
Categories: Science
Type: BOOK - Published: 2005-08-01 - Publisher: SIAM

DOWNLOAD EBOOK

This book investigates some of the difficulties related to scientific computing, describing how these can be overcome.