Title Scientific computing, computer arithmetic, and validated numerics : 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.)

Published Switzerland : Springer, 2016

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

Description 1 online resource (xiii, 291 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 9553 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 9553. 0302-9743 LNCS sublibrary. SL 1, Theoretical computer science and general issues. Contents Interval arithmetic and interval functions -- Uncertainty -- Linear algebra -- Global optimisation -- Dynamical systems -- PDE 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 Notes Includes author index Bibliography Includes bibliographical references and index Notes English Online resource; title from PDF title page (SpringerLink, viewed April 12, 2016) Subject Numerical calculations -- Verification -- Congresses Science -- Data processing -- Congresses Electronic data processing -- Reliability -- Congresses Computer science. Computers -- Computer Science. Electronic data processing -- Reliability Numerical calculations -- Verification Science -- Data processing Genre/Form Conference papers and proceedings Form Electronic book Author Nehmeier, Marco, editor. Gudenberg, J. Wolff von (Jürgen Wolff), 1952- editor. Tucker, Warwick, 1961- editor. ISBN 9783319317694 3319317695

Other Titles SCAN 2014

  Permalink