M4RI公司

M4RI是一个F2上稠密矩阵的快速算法库。它由格雷戈里·巴德创立,由马丁·阿尔布雷希特负责维护。一些人对此作出了贡献(见下文)。M4RI这个名字来自于第一个实现的算法:Gregory Bard发表的“四个俄罗斯人的方法”反演算法。这个算法又以“四个俄罗斯人的方法”的乘法算法命名,这可能更好地被称为Kronrod方法。M4RI由Sage数学软件和polibori库使用。M4RI在通用公共许可证版本2或更高版本(GPLv2+)下可用。

ORMS中也引用了该软件。


zbMATH参考文献(17篇文章引用)

显示第1到17个结果,共17个。
按年份排序(引用)

  1. Cannon,John J.;Steel,Allan K.;Unger,William R.:有限群不可约模表示的构造(2020)
  2. 李婷;孙尧;黄振宇;王定康;林东岱:用替代法加速GVW算法(2019)
  3. Meel,Kuldeep S.;Shrotri,Aditya A.;Vardi,Moshe Y.:并非所有的FPRASs都是相等的:为DNF计数揭秘FPRASs(2019年)
  4. Zamarashkin,N.L.;Zheltkov,D.A.:(\mathrmGF(2))(2019年)上系统Lanczos方法的稠密矩阵和块运算的GPU加速
  5. Cenk,Murat;Hasan,M.Anwar:关于类Strassen矩阵乘法的算术复杂性(2017)
  6. Dzyuba,Vladimir;van Leeuwen,Matthijs;De Raedt,Luc:具有模式挖掘保证的灵活约束抽样(2017)
  7. 孙尧;黄振宇;林东岱;王定康:用线性代数实现格布纳基算法中布尔多项式环上的符号预处理函数(2016)
  8. 孙尧;黄振宇;王定康;林东岱:非齐次多项式系统GVW算法的改进(2016)
  9. Berthomieu,Jérémy;Faugre,Jean-Charles;Perret,Ludovic:多项式二次同构的多项式时间算法:正则情形(2015)
  10. Bertolazzi,Enrico;Rimoldi,Anna:(\mathbbF_2)中的快速矩阵分解(2014)
  11. Ullah,E.;Abbas Khan,S.:使用突变策略计算边界基(2014)
  12. Jeannerod,Claude Pierre;Pernet,Clément;Storjohann,Arne:揭示高斯消去和杯矩阵分解的秩分布(2013)
  13. 布尔希特特(Alm4)上的稠密线性代数库(Alm4)
  14. Albrecht,Martin;Bard,Gregory;Hart,William:算法898:GF(2)上稠密矩阵的有效乘法(2010)
  15. Bodrato,Marco:一种适合平方和更高功率计算的类Strassen矩阵乘法(2010)
  16. Bulygin,Stanislav;Brickenstein,Michael:仅针对AES的小变量获得和求解关键变量方程组(2010)
  17. Mohamed,Mohamed Saied Emam;Mohamed,Wael Said Abd Elmaged;Ding,Jintai;Buchmann,Johannes:MXL2:使用改进的突变策略求解(\textGF(2))上的多项式方程(2008)