Validated solution of large linear systems

Siegfried M. Rump
Some new methods will be presented for computing verified inclusions of the solution of large linear systems. The matrix of the linear system is typically of band or sparse structure. There are no prerequisites to the matrix such as being M-matrix, symmetric, positive definite or diagonally dominant. (...) Examples with up to 1.000.000 unknowns will be presented.