Pre-built Windows 64-bit binaries can be obtained from the Releases section. Simply download and unzip the folder of the latest release. Alternatively, build from source yourself. See Building. Click ...

% integer M, N, the rows and columns of the RREF matrix A. % integer NZ, the number of nonzeros required in any binary solution. % real A(M,N), the RREF matrix to be analyzed. % real B(M), the RREF ...

We are going to prove a theorem connecting invertibility, RREF, and solutions of matrix equations. To do it we need a lemma on the RREF of square matrices. The leading entries go from left to right as ...