Selfverifying Solvers for Linear Systems of Equations in C-XSC

In this paper we discuss the implementation of selfverifying solvers for systems of linear equations Ax = b with dense and banded matrices A and the future adaptation these solvers to high performance environments. The algorithms were implemented using C-XSC (a C++ class library for extended scientific computing). We discuss, too, the integration between C-XSC and MPI libraries on cluster computers. The main topics of our research are the development of software tools for Validated Numerics in High Performance Environments using C-XSC and MPI, the optimization of C-XSC and its use on cluster computers and the application these software tools to real life problems [5].