TY  - BOOK
AU  - Nehmeier,Marco
AU  - Wolff von Gudenberg,Jürgen
AU  - Tucker,Warwick
ED  - SpringerLink (Online service)
TI  - Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers 
T2  - Theoretical Computer Science and General Issues
SN  - 9783319317694
AV  - QA76.9.C62 
U1  - 004 23
PY  - 2016///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Arithmetic and logic units, Computer
KW  - Numerical analysis
KW  - Algebras, Linear
KW  - Computer mathematics
KW  - Arithmetic and Logic Structures
KW  - Numeric Computing
KW  - Linear Algebra
KW  - Computational Mathematics and Numerical Analysis
N1  - Interval arithmetic and interval functions -- Uncertainty -- Linear algebra -- Global optimisation -- Dynamical systems -- PDE
N2  - 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
UR  - https://doi.org/10.1007/978-3-319-31769-4
ER  -