Self-validating methods (Q5929742)
From MaRDI portal
scientific article; zbMATH DE number 1586455
Language | Label | Description | Also known as |
---|---|---|---|
English | Self-validating methods |
scientific article; zbMATH DE number 1586455 |
Statements
Self-validating methods (English)
0 references
16 April 2001
0 references
A self-validating (SV) method -- also called verification method or automatic result verification -- aims to deliver rigorous results even when computing with floating point numbers. It includes the proof of existence and possibly uniqueness of a solution. The paper sketches arithmetical issues in order to guarantee a safe validation process of assumptions and presents some details and examples on how SV methods work. It starts with a theoretical definition of interval arithmetic, continues with remarks on practical implementations using rounding control and shows the misuse of interval arithmetic by means of a simple example. In addition, it illustrates the efficiency of interval arithmetic by a typical approach of SV methods to find a zero of a function \(f: \mathbb{R}^n\to \mathbb{R}^n\) and to find all solutions of linear systems \(Ax= b\) with \(A\), \(b\) varying in a given interval matrix \({\mathbf A}\) and a given interval vector \({\mathbf b}\), respectively. General remarks on basic approaches to many SV methods as well as open problems in this area conclude the paper.
0 references
self-validating methods
0 references
interval arithmetic
0 references
rounding control
0 references
Gaussian elimination
0 references
nonlinear system
0 references
verification method
0 references
automatic result verification
0 references