Scientific Computation with Automatic Result Verification

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

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.