SUPER-FAST VALIDATED SOLUTION OF LINEAR SYSTEMS

@inproceedings{Rump2006SUPERFASTVS,
  title={SUPER-FAST VALIDATED SOLUTION OF LINEAR SYSTEMS},
  author={Siegfried M. Rump and Takeshi Ogita},
  year={2006}
}
Validated solution of a problem means to compute error bounds for a solution in finite precision. This includes the proof of existence of a solution. The computed error bounds are to be correct including all possible effects of rounding errors. The fastest known validation algorithm for the solution of a system of linear equations requires twice the computing time of a standard (purely) numerical algorithm. In this paper we present a super-fast validation algorithm for linear systems with… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Accurate Sum and Dot Product

SIAM J. Scientific Computing • 2005
View 3 Excerpts

Rump . Fast verification of solutions of matrix equations

M. S.
Numer . Math . • 2005

Interval Methods for Systems of Equations. Encyclopedia of Mathematics and its Applications

A. Neumaier
1990
View 1 Excerpt

Sparse matrix test problems

ACM Trans. Math. Softw. • 1982
View 1 Excerpt