Scientific Computing, Computer Arithmetic, and Validated Numerics

Scientific Computing, Computer Arithmetic, and Validated Numerics
Author :
Publisher : Springer
Total Pages : 291
Release :
ISBN-13 : 9783319317694
ISBN-10 : 3319317695
Rating : 4/5 (95 Downloads)

Book Synopsis Scientific Computing, Computer Arithmetic, and Validated Numerics by : Marco Nehmeier

Download or read book Scientific Computing, Computer Arithmetic, and Validated Numerics written by Marco Nehmeier and published by Springer. This book was released on 2016-04-08 with total page 291 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other treatments of uncertainty are developed as appropriate tools.


Scientific Computing, Computer Arithmetic, and Validated Numerics Related Books

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
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 and Validated Numerics
Language: en
Pages: 348
Authors: G. Alefeld
Categories: Mathematics
Type: BOOK - Published: 1996 - Publisher: De Gruyter Akademie Forschung

DOWNLOAD EBOOK

The International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN is held biannually, the fourth conference took place in Wup
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
Numerical Methods in Scientific Computing
Language: en
Pages: 742
Authors: Germund Dahlquist
Categories: Mathematics
Type: BOOK - Published: 2008-01-01 - Publisher: SIAM

DOWNLOAD EBOOK

This new book from the authors of the classic book Numerical methods addresses the increasingly important role of numerical methods in science and engineering.