Dense solver for general linear equality systems Ax=b with certified status classification: unique, infinite, inconsistent, or undecidable with a supported rank interval
c linear-systems numerical-methods lapack numerical-analysis numerical-linear-algebra certified-computation verified-computation numerical-rank
-
Updated
Sep 14, 2026 - Python