×
Mahdi Dehghani Darmian；阿米尔·哈希米

参数FGLM算法。 （英语） Zbl 1359.13030号

J.塞姆。计算。 82, 38-56 (2017).
作者提出了一种参数形式的FGLM算法，将一个给定的综合Gröbner基转换为一个相应于另一个单项式的综合Groöbnel基。为此，他们开发了带参数矩阵的线性代数的高效算法。
审核人：Ihsen Yengui（传真）

引用于4文件

MSC公司：

13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
68瓦30 符号计算和代数计算
1999年第14季度 代数几何中的计算方面

关键词：

Gröbner碱；FGLM算法；综合Gröbner系统；参数FGLM算法；参数线性代数；综合Gröbner系统转换

软件：

dpgb标准；前列腺素B；PLA-PFGLM.mpl公司；枫树
PDF格式BibTeX公司 XML格式引用
\textit{M.Dehghani Darmian}和\textit{A.Hashemi}，J.Symb。计算。82、38-56（2017；Zbl 1359.13030）
全文： 内政部

参考文献：

[1] 亚当斯·W·W。；Loustauna，P.，《Gröbner Bases简介》（1994），美国数学学会：美国数学学会普罗维登斯，RI·Zbl 0811.13020号
[2] Assi，A.，《标准底座、临界热带和平面度》，应用。代数工程通讯。计算。，4, 3, 197-215 (1993) ·Zbl 0794.14021号
[3] 贝克尔，T。；Weispfenning，V.，Gröbner Bases:交换代数的计算方法。与Heinz Kredel合作（1993），Springer-Verlag:Springer-Verlag New York·Zbl 0772.13010号
[4] Buchberger，B.，多项式理想Gröbner基的杂项结果II，31（1983），特拉华大学计算机与信息科学系，技术报告83/1
[5] Buchberger，B.，《Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomide》（1965），因斯布鲁克大学数学研究所（Diss.）：因斯布鲁克斯大学数学研究院·Zbl 1245.13020号
[6] Buchberger，B.，Ein算法Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems，Aequ。数学。，4, 374-383 (1970) ·Zbl 0212.06401号
[7] Buchberger，B.，《检测Gröbner-bases构造中不必要减少的标准》，（符号和代数计算，符号和代数运算，EUROSAM’79，国际交响乐，马赛，1979年）。符号和代数计算。符号和代数计算，EUROSAM’79，国际交响乐团。，马赛，1979年，Lect。票据计算。科学。，第72卷（1979）），3-21·Zbl 0417.68029号
[8] Buchberger，B.，Bruno-Buchberger1965年的博士论文：一种求零维多项式理想剩余类环的基元的算法。德文译本，J.Symb。计算。，41, 3-4, 475-511 (2006) ·Zbl 1158.01307号
[9] 科勒特，S。；Kalkbrener，M。；Mall，D.，用Gröbner walk转换基地，J.Symb。计算。，24，3-4，465-469（1997）·Zbl 0908.13020号
[10] Corless，R.M。；Thornton，S.E.，参数矩阵计算软件包，（数学软件，数学软件，ICMS 2014）。第四届国际大会，韩国首尔，2014年8月5-9日。Proceedings（2014），Springer:Springer Berlin），442-449·Zbl 1434.15002号
[11] 考克斯·D。；Little，J。；O'Shea，D.，《理想、多样性和算法》。计算代数几何和交换代数导论（2007），Springer:Springer New York，NY·Zbl 1118.13001号
[12] 考克斯，医学博士。；Little，J。；O'Shea，D.，《使用代数几何》（2005），Springer:Springer New York，NY·Zbl 1079.13017号
[13] Dehghani Darmian，M。；哈希米，A。；Montes，A.，《讨论带参数Gröbner基的新算法》勘误表[J.Symb.Compute.33（1-2）（2002）183-208]，J.Symp。计算。，46, 10, 1187-1188 (2011) ·Zbl 1279.13037号
[14] 福盖尔，J。；詹尼，P。；拉扎德博士。；Mora，T.，通过改变次序来有效计算零维Gröbner基，J.Symb。计算。，16, 4, 329-344 (1993) ·Zbl 0805.13007号
[15] 福盖尔，J。；Mou，C.，稀疏FGLM算法，J.Symb。计算。，80, 3, 538-569 (2017) ·Zbl 1404.13031号
[16] Faugère，J.-C.，计算Gröbner基的一种新的高效算法\（F_4）\，J.Pure Appl。代数，139，1-3，61-88（1999）·Zbl 0930.68174号
[17] Faugère，J.-C.，《计算Gröbner基而不将其还原为零的一种新的高效算法》，（2002年符号和代数计算国际研讨会论文集，2002年国际符号和代数计算机研讨会论文集2002年7月7日至10日，法国里尔，ISSAC 2002（2002），ACM出版社：纽约州纽约市ACM出版社），75-83·Zbl 1072.68664号
[18] 福田，K。；Jensen，A。；北卡罗来纳州劳里岑。；Thomas，R.，通用Gröbner walk，J.Symb。计算。，42, 3, 298-312 (2007) ·兹比尔1124.68120
[19] Gebauer，R。；Möller，H.，关于Buchberger算法的安装，J.Symb。计算。，6, 2-3, 275-286 (1988) ·Zbl 0675.13013号
[20] 哈希米，A。；M.-Alizadeh，B。；Dehghani Darmian，M.，参数矩阵的最小多项式系统，线性多线性代数，61，2，265-272（2013）·Zbl 1261.15014号
[21] Kapur，D.，《求解参数多项式方程组的方法》，（Saraswat，Vijay；Van Hentenryck，Pascal，《约束编程原理与实践》（1995），麻省理工学院出版社），217-224
[22] 卡普尔，D。；孙，Y。；Wang，D.，计算综合Gröbner系统的新算法，（第35届符号和代数计算国际研讨会论文集。第35届国际符号和代数运算研讨会论文集，ISSAC 2010，德国慕尼黑，2010年7月25日至28日（2010），计算机械协会（ACM）：纽约计算机械协会（ACM），29-36·Zbl 1321.68533号
[23] 卡普尔，D。；孙，Y。；Wang，D.，计算综合Gröbner系统的新算法，（第35届符号和代数计算国际研讨会论文集。第35届国际符号和代数运算研讨会论文集，ISSAC 2010，德国慕尼黑，2010年7月25日至28日（2010），计算机械协会（ACM）：纽约计算机械协会（ACM），29-36·Zbl 1321.68533号
[24] 卡普尔，D。；孙，Y。；Wang，D.，同时计算综合Gröbner系统和综合Gróbner基，（第36届符号和代数计算国际研讨会论文集。第36届国际符号和代数运算研讨会论文集，2011年6月7日至11日，美国加利福尼亚州圣何塞，2011年），计算机械协会（ACM）：计算机械协会（ACM），纽约，纽约），193-200·Zbl 1323.13004号
[25] 卡普尔，D。；孙，Y。；Wang，D.，计算参数多项式系统的综合Gröbner系统的有效算法，J.Symb。计算。，49, 27-44 (2013) ·Zbl 1255.13018号
[26] 卡普尔，D。；孙，Y。；Wang，D.，计算综合Gröbner基的有效方法，J.Symb。计算。，52, 124-142 (2013) ·Zbl 1283.13024号
[27] Lazard，D.，Gröbner bases，Gaussian消去和代数方程组的分解，（计算机代数，计算机代数，欧洲’83，Proc.Conf.，伦敦，1983）。计算机代数。计算机代数，欧洲'83，Proc。Conf.，伦敦，1983年，Lect。票据计算。科学。，第162卷（1983）），146-156·Zbl 0539.13002号
[28] 李恰尔迪，S。；Mora，T.，《通过Primbasissatz和基转换隐式化超曲面和曲线》（ISSAC’94）。符号和代数计算国际研讨会论文集。ISSAC’94。符号和代数计算国际研讨会论文集，牛津，GB，1994年7月20日至22日（1994年），ACM出版社：ACM出版社，马里兰州巴尔的摩，191-196·Zbl 0916.14032号
[29] Lundqvist，S.，《比较单项式的复杂性和Buchberger-Möller算法的两个改进》，（计算机科学中的数学方法。托马斯·贝思的记忆论文（2008），施普林格：施普林格-柏林），105-125·Zbl 1178.68691号
[30] 马努本斯，M。；Montes，A.，使用判别理想改进DISPGB算法，J.Symb。计算。，41, 11, 1245-1263 (2006) ·Zbl 1121.13031号
[31] 马努本斯，M。；Montes，A.，极小正则综合Gröbner系统，J.Symb。计算。，44, 5, 463-478 (2009) ·Zbl 1159.13304号
[32] 马里纳里，M。；Möller，H。；Mora，T.，由泛函定义的理想的Gröbner基及其对射影点理想的应用，Appl。代数工程通讯。计算。，4, 2, 103-145 (1993) ·Zbl 0785.13009号
[33] Möller，H.，《关于使用syzygies构造Gröbner基》，J.Symb。计算。，6, 2-3, 345-359 (1988) ·Zbl 0695.13003号
[34] Montes，A.，讨论带参数Gröbner基的新算法，J.Symb。计算。，33, 2, 183-208 (2002) ·Zbl 1068.13016号
[35] 蒙特斯，A。；Castro，J.，使用Gröbner基求解潮流问题，SIGSAM Bull。，29, 1, 1-13 (1995) ·Zbl 1097.90509号
[36] 蒙特斯，A。；Wibmer，M.，带参数多项式系统的Gröbner基，J.Symb。计算。，45, 12, 1391-1425 (2010) ·Zbl 1207.13018号
[37] Nabeshima，K.，计算综合Gröbner系统的算法加速，（2007年符号和代数计算国际研讨会论文集。2007年符号与代数计算国际会议论文集，ISSAC 2007，加拿大安大略省滑铁卢，2007年7月29日至8月1日（2007），计算机械协会（ACM）：纽约计算机械协会，299-306·Zbl 1190.13025号
[38] （Sala，M.；Mora，T.；Perret，L.；Sakata，S.；Traverso，C.，Gröbner Bases，Coding，and Cryptography（2009），Springer:Springer Berlin）·Zbl 1166.13002号
[39] Sit，W.Y.，《求解参数线性系统的算法》，J.Symb。计算。，13, 4, 353-394 (1992) ·Zbl 0752.34010号
[40] 铃木，A。；Sato，Y.，使用Gröbner基计算综合Gröbner基的一种简单算法，（2006年符号和代数计算国际研讨会论文集。2006年符号和代数计算国际研讨会论文集，ISSAC 06，意大利热那亚，2006年7月9日至12日（2006），ACM出版社：纽约ACM出版社）， 326-331 ·Zbl 1356.13040号
[41] Traverso，C.，Hilbert函数和Buchberger算法，J.Symb。计算。，22, 4, 355-376 (1996) ·Zbl 0922.13019号
[42] 魏斯芬宁，V.，综合Gröbner基地，J.Symb。计算。，14, 1, 1-29 (1992) ·Zbl 0784.13013号
[43] 魏斯芬宁，V.，《典型综合Gröbner基底》，J.Symb。计算。，36, 3-4, 669-683 (2003) ·Zbl 1054.13015号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。