Accurate Numerical Algorithms

A Collection of Research Papers

Christian Ullrich, Jürgen Wolff von Gudenberg (Herausgeber)

Buch | Softcover

IX, 234 Seiten

1989 | 1. Softcover reprint of the original 1st ed. 1989
Springer Berlin (Verlag)
978-3-540-51477-0 (ISBN)

Artikel merken

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.

Highly Accurate Numerical Algorithms.- 0. Introduction.- 1. Design of E-Methods.- 2. Application of Brouwer's Fixed-Point Theorem.- 3. Eigenvalues.- 4. The Application of Theorems on Zeros in the Complex Plane.- 5. Linear Systems for Sparse Matrices.- 6. Quadrature.- 7. Nonlinear Systems.- References.- Appendix. The PASCAL-SC Demonstration Package.- Solving the Complex Algebraic Eigenvalue Problem with Verified High Accuracy.- 1. Introduction.- 2. Mathematical Foundations.- 3. Inclusion of the Complex Algebraic Eigenvalue Problem.- 4. The Inclusion Algorithm.- References.- Techniques for Generating Accurate Eigensolutions in ADA.- 1. Introduction.- 2. Method.- 3. Implementation.- 4. Appendix.- 5. Glossary.- References.- Enclosing all Eigenvalues of Symmetric Matrices.- 1. Introduction.- 2. Simple Method for Computing Enclosures of Eigenvalues.- 3. Computing Eigenvector Approximations with High Accuracy.- 4. Computing Eigenvalue Enclosures with High Accuracy.- 5. Computing Eigenvector Enclosures.- 6. Numerical Examples.- References.- Computing Accurate Eigenvalues of a Hermitian Matrix.- 1. Introduction.- 2. A Jacobi Method for the Hermitian Eigenvalue Problem.- 3. Inclusion of the Estimated Eigenvalues.- 4. Improvement of the Eigensolution by Newton Iterations.- 5. Adapting the Algorithm to Ada.- 6. Ada Package Specification.- 7. Test Results.- 8. Conclusions.- References.- Verified Inclusion of all Roots of a Complex Polynomial by means of Circular Arithmetic.- 1. Introduction.- 2. Refinement of the Schur/Cohn Algorithm.- 3. Refined Bisecting Process.- 4. Solving Algorithm.- 5. Performance, Example.- 6. Conclusions.- Literature.- Verified Results for Linear Systems with Sparse Matrices.- 1. Introduction.- 2. Method Description.- 3. Method Implementation.- 4.Remarks.- References.- Self-Validating Numerical Quadrature.- 1. Review.- 2. Fundamentals.- 3. Verified Computation of the Procedure Error via Automatic Differentiation.- 4. Numerical Quadrature via Modified Romberg-Extrapolation.- 5. Faster Reduction of the Total Error via Adaptive Refinement.- 6. Numerical Results.- References.- Solving Nonlinear Equations with Verification of Results.- 1. Introduction.- 2. Inclusion of Zeros.- 3. Numerical Problems with Traditional Methods.- 4. Improvement of Theoretical Behaviour of Traditional Methods.- 5. Condition of a System of Nonlinear Equations.- 6. Implementation Aspects.- References.

Erscheint lt. Verlag	16.8.1989
Reihe/Serie	Project 1072. DIAMOND
Reihe/Serie	Research Reports Esprit
Zusatzinfo	IX, 234 p. 6 illus.
Verlagsort	Berlin
Sprache	englisch
Maße	170 x 242 mm
Gewicht	450 g
Themenwelt	Informatik ► Theorie / Studium ► Algorithmen
	Mathematik / Informatik ► Mathematik ► Algebra
	Mathematik / Informatik ► Mathematik ► Analysis
	Mathematik / Informatik ► Mathematik ► Wahrscheinlichkeit / Kombinatorik
Schlagworte	Accurate Arithmetic • Algorithm analysis and problem complexity • eigenvalue problems • Eigenwertprobleme • Nicht-lineare Systeme • Nonlinear Systems • Numerical analysis • Numerische Analysis • Selbstvalidierende Algorithmen • Self-Validating Algorithms • wissenschaftliches Rechnen
ISBN-10	3-540-51477-5 / 3540514775
ISBN-13	978-3-540-51477-0 / 9783540514770
Zustand	Neuware