Accurate Numerical Algorithms: A Collection of Research Papers (Research Reports Esprit / Project 1072. D.I.A.M.O.N.D.) - Softcover

Softcover

ISBN 10: 3540514775 ISBN 13: 9783540514770

Verlag: Springer-Verlag, 1989

Über diesen Titel

Reseña del editor

The ESPRIT Project 1072, DIAMOND (Development and Integration of Accurate Mathematical Operations in Numerical Data-Processing) was carried out from January 1986 through April 1989 by the five partners Siemens Miinchen (prime contractor), CWI Amsterdam, University of Karlsruhe (Institut fiir Ange­ wandte Mathematik), NAG Oxford and University of Bath (subcontractor to NAG). The technical work was divided into three main work packages with one additional work package for miscellaneous topics. The major goals of this project, according to its title, were to develop a set of accurate numerical algorithms (work package 3) and to provide tools to support their implementation by means of an embedding of accurate arithmetic into programming languages (work package 1) and by transform­ ation techniques which either improve the accuracy of expression evaluation or detect and eliminate presumable deficiencies in accuracy in existing programs (work package 2). A great variety of working papers describing and discussing the results of these work packages have been written during the collaboration of the project. This book (Accurate Numericlll A 19oritltms) mainly summarizes the results of work package 3, carried through by the two partners Karlsruhe University and NAG Oxford under the leadership of the editors and Dr. G. S. Hodgson. Another book (Improving Floating-Point Programming, J. Tliley, to appear 1989), edited by P.J.L. Wallis, which is one of the DIAMOND project's final deliverables, concentrates more on the fundamental tools.

Reseña del editor

The major goals of the ESPRIT Project 1072, DIAMOND (Development and Integration of Accurate Mathematical Operations in Numerical Data-Processing), were to develop a set of accurate numerical algorithms (work package 3) and to provide tools to support their implementation by means of embedding accurate arithmetic into programming languages (work package 1) and by transformation techniques which either improve the accuracy of expression evaluation or detect and eliminate presumable deficiencies in accuracy in existing programs (work package 2). The present volume mainly summarizes the results of work package 2. It comprises research papers about the development and the implementation of self-validating algorithms which automatically verify the results of a numerical computation. Algorithms for the solution of eigenvalue/eigenvector problems, linear systems for sparse matrices, nonlinear systems and quadrature problems, as well as computation of zeros of a complex polynomial are presented. The algorithms always deliver guaranteed results, i.e. the true result is enclosed into sharp bounds.

Details zur Ausgabe

• Verlag: Springer-Verlag
• Erscheinungsdatum: 1989
• ISBN 10: 3540514775
• ISBN 13: 9783540514770
• Einband: Tapa blanda
• Sprache: Englisch
• Anzahl der Seiten: 248
• Herausgeber: Ullrich Christian