Scientific Computing, Computer Arithmetic, and Validated Numerics

Scientific Computing, Computer Arithmetic, and Validated Numerics
Author :
Publisher : Springer
Total Pages : 291
Release :
ISBN-10 : 9783319317694
ISBN-13 : 3319317695
Rating : 4/5 (695 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
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
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
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
Developments in Reliable Computing
Language: en
Pages: 402
Authors: Tibor Csendes
Categories: Mathematics
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The SCAN conference, the International Symposium on Scientific Com puting, Computer Arithmetic and Validated Numerics, takes place bian nually under the joint a