Scientific Computing and Validated Numerics: Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated ... 26–29, 1995: 90 (Mathematical Research) - Hardcover

9783055017377: Scientific Computing and Validated Numerics: Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated ... 26–29, 1995: 90 (Mathematical Research)

Hardcover

ISBN 10: 3055017374 ISBN 13: 9783055017377

Publisher: Wiley VCH, 1996

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.

"synopsis" may belong to another edition of this title.

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

"About this title" may belong to another edition of this title.