Biblioteca de modelos para cálculos de álgebra linear exatos e de alta performance
