Scientific Computation With Automatic Result Verification - Couverture souple

Couverture souple

ISBN 10 : 0387820639 ISBN 13 : 9780387820637

Synopsis

Scientific Computation with Automatic Result Verification This work collects a number of contributions which aim to compute rigorous and reliable error bounds for the solution of numerical problems. An introduction by the editors about the meaning and diverse methods of automatic result verification is followed by 16 original contributions.

A propos du livre

Présentation de l'éditeur

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.

Détails de l'édition

• Langue: anglais
• ISBN 10: 0387820639
• ISBN 13: 9780387820637
• Reliure: Broché
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible