| MSC: | 65G20 | Algorithms with automatic result verification |
| 65G30 | Interval and finite arithmetic |
Abstract:
We give a survey on the symmetric solution set of linear systems of equations
with perturbed input data starting with a description of its form and
presenting several algorithms whose resulting interval vector encloses it. In
particular, we derive the describing inequalities in a new way and represent
them in a modified form as compared with a recent result by Hladík. This
form enables us to improve a known upper bound for their number essentially.
We thus end up with an Oettli-Prager like theorem for the symmetric solution
set which we can prove by elementary means and completely different from
Hladík's paper.