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