×
弗拉基米尔·格特。;阿米尔·哈希米

关于在计算Gröbner基的（mathrm G^2\mathrm V）算法中使用Buchberger准则。 （英语。俄文原件） Zbl 1323.68600号

程序。计算。柔和。 39，No.2，81-90（2013）; 译自Programmirovanie 39，No.2（2013）。
摘要：Faugère的实验证明，他的（mathrm F_5）算法是计算Gröbner基的最快算法。（mathrm F_5）的计算效率不仅是由于应用了线性代数，而且还使用了新的（mathrm-F_5”）准则来揭示无用的零约简。在ISSAC 2010年会议上，S.Gao高等[摘自：第35届符号和代数计算国际研讨会论文集，ISSAC 2010。纽约州纽约市：计算机协会（ACM）。13–19 (2010;Zbl 1321.68531号)]提出了（mathrm G^2\mathrm V）算法的新版本，它比原版本的算法简单。然而，从应用Buchberger第二准则的角度来看，应用\（\mathrm F_5\）准则的算法中使用的\（\mathrm G^2 \mathrm V\）的增量结构是一个严重的障碍。本文对（mathrm G^2\mathrm V）算法进行了改进，使之能够同时使用Buchberger准则。为了实验研究所提改进的计算效果，我们在Maple中实现了改进的算法。给出了在一些测试示例上对（mathrm G^2 mathrm V）及其修改版本进行比较的结果。

引用于1文件

MSC公司：

68瓦30 符号计算和代数计算
13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）

引文：

Zbl 1321.68531号

软件：

Isrewriten.mpl软件;PoSSo公司;G2V英里/加仑;枫树
PDF格式BibTeX公司 XML格式引用
\textit{V.P.Gerdt}和\textit{A.Hashemi}，程序。计算。柔和。39，第2号，81-90（2013；Zbl 1323.68600）；译自Programmirovanie 39，No.2（2013）
全文： 内政部

参考文献：

[1] Buchberger，B.，《Ein Algorithms zum Auffinden der Basiselemente des Restklassenrings nach einem nuildnimensionalen Polynomideal》，因斯布鲁克大学博士论文，1965年·Zbl 1245.13020号
[2] Buchberger，B.，《Gröbner基地建设中检测不必要缩减的标准》，3-21（1979），柏林·Zbl 0417.68029号
[3] Buchberger，B。；Winkler，F.，Gröbner Bases and Applications（1998），剑桥·Zbl 0883.00014号
[4] Lazard，D.，Gröbner Bases，Gaussian Elimination and Resolution of Systems of Algebraic Equations，146-156（1983），柏林·Zbl 0539.13002号
[5] Gebauer，R.和Möller，H.，《关于Buchberger算法的安装》，J.Symb。计算。，1988年，第6卷，第2-3期，第275-286页·Zbl 0675.13013号 ·doi:10.1016/S0747-7171（88）80048-8
[6] Faugère，J.-C.，计算Gröbner基的新高效算法（F4），《纯粹应用代数杂志》，1999年，第139卷，第1-3期，第61-68页·Zbl 0930.68174号 ·doi:10.1016/S0022-4049（99）00005-5
[7] Faugère，J-C，计算Gröbner基而不归零的新高效算法（F5），75-83（2002），纽约·Zbl 1072.68664号
[8] Ars，G.和Hashemi，A.扩展F5标准，J.Symb。计算。，2010年，第45卷，第12期，第1330-1340页·Zbl 1218.13014号 ·doi:10.1016/j.jsc.2010.06.013
[9] Eder，C.和Perry，J.，F5C：Faugère的F5算法的变体，具有简化的Gröbner基，J.Symb。计算。，2010年，第45卷，第12期，第1442-1458页·Zbl 1227.13018号 ·doi:10.1016/j.jsc.2010.06.019
[10] 高，S。；关，Y。；Volny，F.，计算Gröbner基的新增量算法，13-19（2010）·Zbl 1321.68531号
[11] 高，S。；沃尼，F。；Guan，Y.，计算Gröbner基的新算法（2011）
[12] Ars，G.，《密码学基础的应用》，博士论文，雷恩：雷恩大学，2004年。
[13] Gash，G.M.，《关于Gröbner基的有效计算》，博士论文，印第安纳大学，2008年。http://gradworks.umi.com/3330795.pdf
[14] 贝克尔，T。；韦斯芬宁，V.，Gröbner Bases。交换代数的计算方法（1993），纽约·兹比尔0772.13010
[15] Eder，C。；Perry，J.，计算Gröbner基的基于签名的算法，99-106（2011）·Zbl 1323.68593号
[16] Mora，T.，《求解多项式方程系统II：Macaulay范式和Gröbner技术》，《数学及其应用百科全书》，第99卷，剑桥大学出版社，2005年·Zbl 1161.13306号
[17] Hashemi，A.和Alizadeh，B.M.，将IsRewriten准则应用于Buchberger算法，Theor。计算。科学。，2011年，第412卷，第35期，第4592-4603页·Zbl 1221.68299号 ·doi:10.1016/j.tcs.2011.04.040
[18] Huang，L.，计算Gröbner基及其应用的新概念，2010年。arXiv:数学。SC/1012.5424。
[19] 副总裁Gerdt；Cojocaru，S.（编辑）；Pfister，G.（编辑）；Ufnarovski，V.（编辑），计算Gröbner基的对合算法，199-225（2005），阿姆斯特丹·Zbl 1104.13012号
[20] Bini，D.和Mourrain，B.，多项式测试套件。http://www-sop.inria.fr/saga/POL/ ·Zbl 1218.13014号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。