Accurate numerical algorithms : a collection of research papers
Author(s)
Bibliographic Information
Accurate numerical algorithms : a collection of research papers
(Research reports ESPRIT, Project 1072,
Springer-Verlag, c1989
- : gw
- : us
Available at 16 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Bibliography: p. 231-234
Description and Table of Contents
Description
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.
Table of Contents
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.
by "Nielsen BookData"