Parallel self-verified solver for dense linear systems

Mariana Luderitz Kolberg. Parallel self-verified solver for dense linear systems. PhD thesis, Pontifícia Universidade Católica do Rio Grande do Sul, Brazil, 2009. [doi]

Abstract

Abstract is missing.