Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers
by
Nehmeier, Marco. editor.
Title
:
Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers
Author
:
Nehmeier, Marco. editor.
ISBN
:
9783319317694
Edition
:
1st ed. 2016.
Physical Description
:
XIII, 291 p. 51 illus. online resource.
Series
:
Theoretical Computer Science and General Issues, 9553
Abstract
:
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.
Subject Term
:
Computer arithmetic and logic units.
Numerical analysis.
Algebras, Linear.
Mathematics -- Data processing.
Arithmetic and Logic Structures.
Linear Algebra.
Computational Mathematics and Numerical Analysis.
Added Author
:
Nehmeier, Marco.
Wolff von Gudenberg, Jürgen.
Tucker, Warwick.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 618101-1001 | ONLINE | | Springer E-Kitap Koleksiyonu |