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 (Herausgeber)

Buch | Softcover

XIII, 291 Seiten

2016 | 1st ed. 2016
Springer International Publishing (Verlag)
978-3-319-31768-7 (ISBN)

Artikel merken

This book constitutes the refereed post proceedings of the16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014.

The 22 full papers presented were carefullyreviewed 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.

Erscheinungsdatum	08.10.2016
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XIII, 291 p. 51 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Informatik ► Theorie / Studium ► Algorithmen
	Informatik ► Weitere Themen ► Hardware
	Mathematik / Informatik ► Mathematik ► Algebra
	Mathematik / Informatik ► Mathematik ► Analysis
Schlagworte	Applications • Computer Science • Computer Science, general • conference proceedings • dynamcial systems • Global Optimization • Informatics • interval arithmetic • Interval functions • Interval linear systems • linear algebra • Research
ISBN-10	3-319-31768-7 / 3319317687
ISBN-13	978-3-319-31768-7 / 9783319317687
Zustand	Neuware