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
https://doi.org/10.1007/978-3-319-31769-4


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book618101-1001ONLINESpringer E-Kitap Koleksiyonu