Scientific Computing, Validated Numerics, Interval Methods
By: edited by Walter Krämer, Jürgen Wolff Gudenberg
Contributors: Gudenberg, Jürgen Wolff
Publisher: Springer US
Published: 2001
Place of publication: Boston, MA
Language: eng
Format: [electronic resource] /
Number of pages: 398
ISBN-13: 9781441933768; 9781475764840
Subjects: Electronic data processing; Information theory; Algorithms; Computer science
Description: The papers in this book discuss a wide variety of serious applications of all parts of mathematical modelling. New efficient, publicly available or even commercial tools are proposed or presented, and also foundations of the theory of intervals and reliable computations were considerably strengthened. They are concerned not only with applications of well known enclosure methods or the development of new-self validating algorithms, but also transfer the mechanisms and design process known from these areas to other fields. The 31 contributions to this proceedings volume were carefully selected from a much larger number of submissions.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.