Verification Methods for Dense and Sparse Systems of Equations

@inproceedings{Rump2004VerificationMF,
  title={Verification Methods for Dense and Sparse Systems of Equations},
  author={Siegfried M. Rump},
  year={2004}
}
In this paper we describe verification methods for dense and large sparse systems of linear and nonlinear equations. Most of the methods described have been developed by the author. Other methods are mentioned, but it is not intended to give an overview over existing methods. Many of the results are published in similar form in research papers or books. In… CONTINUE READING