Alexandre Almeida,  Carlos A Holbig. 

Este artigo apresenta uma análise do desempenho dos produtosescalares e da inversão de matrizes do solver verificado LSS, com o objetivode, em um trabalho futuro, propor e implementar uma nova estratégia deparalelização para este solver. O LSS é utilizado para a resolução de sistemasdensos de equações lineares do tipo Ax = b, através do uso da biblioteca CXSC,que garante o tratamento da instabilidade numérica na aritmética deponto-flutuante, por meio do emprego do paradigma da ComputaçãoVerificada.

http://www.lbd.dcc.ufmg.br/colecoes/erad-rs/2008/0039.pdf

Processando consulta.