"Matrix Inversion (or LUP-Factorization) via the Method of Four Russians": Gregory Bard's paper introduces the inversion algorithm, demonstrating logarithmic speedups over standard Gaussian elimination.
"Algorithm 898: Efficient Multiplication of Dense Matrices over GF(2)": This paper, published in ACM Transactions on Mathematical Software , describes the M4RM algorithm and its performance on modern CPUs. M4ri (100).JPG
[0811.1714] Efficient Multiplication of Dense Matrices over GF(2) M4ri (100).JPG
The library is used in cryptanalysis for solving dense linear systems of boolean equations, such as those found in integer factorization and attacks on public-key cryptosystems. The source code and documentation are available on the M4RI GitHub repository .