Scientific computing, computer arithmetic, and validated numerics : 16th International Symposium, SCAN 2014 Würzburg, Germany, September 21-26, 2014 revised selected papers
著者
書誌事項
Scientific computing, computer arithmetic, and validated numerics : 16th International Symposium, SCAN 2014 Würzburg, Germany, September 21-26, 2014 revised selected papers
(Lecture notes in computer science, 9553 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues)
Springer, c2016
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This book constitutes the refereed post proceedings of the
16th International Symposium, SCAN 2014, held in Wurzburg, 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.
目次
Interval arithmetic and interval functions.- Uncertainty.- Linear algebra.- Global optimisation.- Dynamical systems.- PDE.
「Nielsen BookData」 より