Scientific Computation with Automatic Result Verification (Computing Supplementa, 6, Band 6) - Softcover

Inhaltsangabe

This Computing Supplementum collects a number of original contributions which all aim to compute rigorous and reliable error bounds for the solution of numerical problems. An introductory article by the editors about the meaning and diverse methods of automatic result verification is followed by 16 original contributions. The first chapter deals with automatic result verification for standard mathematical problems, such as enclosing the solution of ordinary boundary value problems, linear programming problems, linear systems of equations and eigenvalue problems. The second chapter deals with applications of result verification methods to problems of the technical sciences. The contributions consider critical bending vibrations stability tests for periodic differential equations, geometric algorithms in the plane, and the periodic solution of the oregonator, a mathematical model in chemical kinetics. The contributions of the third chapter are concerned with extending and developing the tools required in scientific computation with automatic result verification: evaluation of arithmetic expressions of polynomials in several variables and of standard functions for real and complex point and interval arguments with dynamic accuracy. As an appendix, a short account of the Fortran-SC language was added which permits the programming of algorithms with result verification in a natural manner.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.