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

International Symposium On Scientific Computing, Computer Arithmetic; Frommer, Andreas; Lang, Bruno

Hardcover

ISBN 10: 3055017374 ISBN 13: 9783055017377

Publisher: Vch Pub

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.

About this title

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.

About the Author

Editors' affiliations:
Götz Alefeld, Professor of Applied Mathematics, University of Karlsruhe; Andreas Frommer, Professor of Applied Computer Science, University of Wuppertal; Bruno Lang, Dr. rer. nat., University of Wuppertal

Edition details

• Publisher: Vch Pub
• ISBN 10: 3055017374
• ISBN 13: 9783055017377
• Binding: Hardcover
• Language: English
• Edition number: 1
• Number of pages: 341
• Editor: Frommer Andreas, Lang Bruno, Alefeld Gotz