Paulo Sergio Morandi Junior,  Bernardo Frederes Kramer Alcalde,  Tiaraju Asmuz Diverio,  Carlos A Holbig. 

O presente trabalho tem por meta apresentar algoritmos, implementados em C-XSC, que resolvem não apenas sistemas quadrados, mas, também, sobre-determinados (ou seja, com mais equaçõ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 da aproximação da inversa para as matrizes quadradas e da pseudo- inversa para as matrizes sobre e sub-determinadas, é igualmente abordado. Todos esses algoritmos foram implementados com técnicas que possibilitam a Computação Verificada

http://www.lbd.dcc.ufmg.br/colecoes/erad-rs/2003/0024.pdf

Processando consulta.