Scientific computing, computer arithmetic, and validated numerics [electronic resource] : 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised selected papers / Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker (eds.).
GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (16th : 2014 : Würzburg, Germany); Nehmeier, Marco, editor.; Wolff von Gudenberg, Jürgen, editor.; Tucker, Warwick, 1961- editor.
2016
QA76.95
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Scientific computing, computer arithmetic, and validated numerics [electronic resource] : 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised selected papers / Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker (eds.).
Meeting Name GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (16th : 2014 : Würzburg, Germany)
ISBN 9783319317694 (electronic book)
3319317695 (electronic book)
9783319317687
DOI https://doi.org/10.1007/978-3-319-31769-4
Published Switzerland : Springer, 2016.
Language English
Description 1 online resource (xiii, 291 pages) : illustrations.
Item Number 10.1007/978-3-319-31769-4 doi
Call Number QA76.95
Dewey Decimal Classification 510.285
Summary 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.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed April 12, 2016).
Added Author Nehmeier, Marco, editor.
Wolff von Gudenberg, Jürgen, editor.
Tucker, Warwick, 1961- editor.
Series Lecture notes in computer science ; 9553.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Interval arithmetic and interval functions
Uncertainty
Linear algebra
Global optimisation
Dynamical systems
PDE.

Browse Subjects

Show more subjects...

Statistics

from
to
Export