Andriele Busatto do Carmo,  Leila Diane Wentz,  Carlos A Holbig. 

Esta pesquisa tem por meta paralelizar os solvers verificados LSS (LinearSystem Solver) e BAND. O solver LSS foi implementado em C-XSC [KLA 93],resolvendo sistemas lineares quadrados, sobre-determinados (ou seja, com maisequações do que incógnitas) e sub-determinados (com mais incógnitas do que equações)para valores reais, números complexos, intervalos e intervalos complexos. O cálculo daaproximação da inversa para as matrizes quadradas e da pseudo-inversa para as matrizessobre e sub-determinadas, é igualmente abordado pelo LSS.Já o solver BAND foi implementado com o objetivo de solucionar sistemaslineares com matrizes esparsas do tipo banda. Todos esses algoritmos foramimplementados com técnicas que possibilitam a Computação Verificada.

http://www.lbd.dcc.ufmg.br/colecoes/erad-rs/2006/0052.pdf

Processando consulta.