M4RI
M4RI is a library for fast arithmetic with dense matrices over F2. It was started by Gregory Bard, is maintained by Martin Albrecht. Several people contributed to it (see below). The name M4RI comes from the first implemented algorithm: The “Method of the Four Russians” inversion algorithm published by Gregory Bard. This algorithm in turn is named after the “Method of the Four Russians” multiplication algorithm which is probably better referred to as Kronrod’s method. M4RI is used by the Sage mathematics software and the PolyBoRi library. M4RI is available under the General Public License Version 2 or later (GPLv2+).
This software is also referenced in ORMS.
This software is also referenced in ORMS.
Keywords for this software
References in zbMATH (referenced in 15 articles )
Showing results 1 to 15 of 15.
Sorted by year (- Li, Ting; Sun, Yao; Huang, Zhenyu; Wang, Dingkang; Lin, Dongdai: Speeding up the GVW algorithm via a substituting method (2019)
- Meel, Kuldeep S.; Shrotri, Aditya A.; Vardi, Moshe Y.: Not all FPRASs are equal: demystifying FPRASs for DNF-counting (2019)
- Cenk, Murat; Hasan, M. Anwar: On the arithmetic complexity of Strassen-like matrix multiplications (2017)
- Dzyuba, Vladimir; van Leeuwen, Matthijs; De Raedt, Luc: Flexible constrained sampling with guarantees for pattern mining (2017)
- Sun, Yao; Huang, Zhenyu; Lin, Dongdai; Wang, Dingkang: On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra (2016)
- Sun, Yao; Huang, Zhenyu; Wang, Dingkang; Lin, Dongdai: An improvement over the GVW algorithm for inhomogeneous polynomial systems (2016)
- Berthomieu, Jérémy; Faugère, Jean-Charles; Perret, Ludovic: Polynomial-time algorithms for quadratic isomorphism of polynomials: the regular case (2015)
- Bertolazzi, Enrico; Rimoldi, Anna: Fast matrix decomposition in (\mathbbF_2) (2014)
- Ullah, E.; Abbas Khan, S.: Computing border bases using mutant strategies (2014)
- Jeannerod, Claude-Pierre; Pernet, Clément; Storjohann, Arne: Rank-profile revealing Gaussian elimination and the CUP matrix decomposition (2013)
- Albrecht, Martin R.: The M4RIE library for dense linear algebra over small fields with even characteristic (2012)
- Albrecht, Martin; Bard, Gregory; Hart, William: Algorithm 898: Efficient multiplication of dense matrices over GF(2) (2010)
- Bodrato, Marco: A Strassen-like matrix multiplication suited for squaring and higher power computation (2010)
- Bulygin, Stanislav; Brickenstein, Michael: Obtaining and solving systems of equations in key variables only for the small variants of AES (2010)
- Mohamed, Mohamed Saied Emam; Mohamed, Wael Said Abd Elmageed; Ding, Jintai; Buchmann, Johannes: MXL2: Solving polynomial equations over (\textGF(2)) using an improved mutant strategy (2008)