LinBox is a C++ template library for exact,
high-performance linear algebra computation with dense,
sparse, and structured matrices over the integers and over finite fields.
It can solve linear systems, and compute matrix invariants such
as minimal and characteristic polynomials, rank, determinant, Frobenius normal form, Smith normal form. Dense and sparse LU type factorizations are available.
Miscellaneous features include least-norm, least-squares solutions to singular and inconsistent linear systems and
capability for positive definiteness determination
and signature (inertia) of symmetric integer matrices.