Scientific Computing and Validated Numerics: Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated . Germany, sept (Mathematical Research)

International Symposium on Scientific Computing, Computer Arithmetic

ISBN 10: 3055017374 / ISBN 13: 9783055017377

Published by Vch Pub

About this Item

Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Seller Inventory # M03055017374-G

Bibliographic Details

Title: Scientific Computing and Validated Numerics:...

Publisher: Vch Pub

Binding: Hardcover

Condition: good

About this title

Synopsis:

This collection of papers on scientific computing with validation covers the design of floating point units, algorithms for floating point operations, and elementary function evaluations with maximum accuracy. Scientific computing methods are discussed for areas of applied mathematics such as numerical linear algebra, nonlinear equations, global optimization, ordinary and partial differential equations and dynamical systems. Some computer science aspects like complexity are also considered, as are examples where validation methods have successfully been used in applications from the engineering sciences.

From the Publisher:

This volume contains contributions presented at the IMACS-GAMM International Symposium on Numerical Methods and Error Bounds in Oldenburg, Germany, in July 1995. New results on theory and implementation of numerical algorithms for a variety of problems in numerical analysis, applied mathematics and engineering were given with special emphasis on the derivation of error bounds for approximated solutions.