×
鲁、东;孙尧;王定康

计算综合Gröbner系统和综合Gróbner基的算法综述。 （英语） Zbl 1417.68295号

J.系统。科学。复杂。 32，第1号，234-255（2019）.
总结：五、魏斯芬宁[J.Symb.Compute.14，No.1，1–29（1992；Zbl 0784.13013号)]介绍了参数多项式系统的综合Gröbner系统/基的概念，并给出了计算它们的算法。自那时以来，这一研究领域在过去几十年中受到了广泛关注，并提出了许多有效的算法。此外，这些算法已被应用于许多不同的领域，如参数多项式方程求解、几何定理证明和发现、量词消去等。本次调查汇集了1992年至2018年间发表的作品，我们希望本次调查对这一研究领域有价值。

引用于三文件

MSC公司：

68瓦30 符号计算和代数计算
13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
68-02 与计算机科学有关的研究展览会（专著、调查文章）

关键词：

综合Gröbner基础;综合Gröbner系统;机械地发现几何定理;参数多项式系统;量词消去法

引文：

Zbl 0784.13013号

软件：

PGFAN.段;参数GCD;前列腺素B;dpgb标准
PDF格式BibTeX公司 XML格式引用
\textit{D.Lu}等人，J.系统。科学。复杂。32，编号1，234--255（2019；Zbl 1417.68295）
全文： 内政部

参考文献：

[1] B.R.唐纳德。；卡普尔，D。；Mundy，J.L.，《人工智能的符号和数值计算》，52-55（1992），佛罗里达州奥兰多·Zbl 0811.68053号
[2] Gao，X.S。；Chou，S.C.，求解参数代数系统，335-341（1992），纽约·Zbl 0925.13014号
[3] William Y S，求解参数线性系统的算法，符号计算杂志，1992，13（4）：353-394·Zbl 0752.34010号 ·doi:10.1016/S0747-7171（08）80104-6
[4] 陈，C。；O.Golubitsky。；Lemaire，F。；等。，综合三角分解，73-101（2007），柏林·Zbl 1141.68677号 ·doi:10.1007/978-3-540-75187-87
[5] Lazard D和Rouiller F，求解参数多项式系统，符号计算杂志，2007，42（6）：636-667·Zbl 1156.14044号 ·doi:10.1016/j.jsc.2007.01.007
[6] 黄Z，用特征集方法求解有限域中的参数方程和消除量词，系统科学与复杂性杂志，2012，25（4）：778-791·兹比尔1292.93047 ·doi:10.1007/s11424-012-0168-4
[7] 陈振华，唐X X，夏B C，参数多项式系统的一般正则分解，系统科学与复杂性杂志，2015，28（5）：1194-1211·Zbl 1327.93101号 ·doi:10.1007/s11424-015-3015-6
[8] Chen，X.F。；李，P。；林，L。；等。，用分区参数Gröbner基证明几何定理，34-43（2004）·Zbl 1159.68550号
[9] 林林，几何定理自动证明与参数多项式方程求解，中国科学院系统科学研究所硕士学位论文，北京，2006。
[10] Wang，D.K。；Lin，L.，通过计算带参数的Gröbner基自动发现几何定理（2005）
[11] 蒙特斯，A。；Recio，T.，使用最小规范综合Gröbner系统自动发现几何定理，113-138（2006）·Zbl 1195.68093号
[12] 周杰，王德康，孙毅，基于Gröbner基方法的可约几何定理自动证明与发现，自动推理杂志，2017，59（3）：331-344·兹比尔1425.68383 ·doi:10.1007/s10817-016-9395-z
[13] 博塔纳，F。；蒙特斯，A。；Recio，T.，代数位点自动发现算法，53-59（2012）
[14] 高晓生，侯X，唐J，等，透视三点问题的完全解分类，IEEE Trans。模式分析。机器。智力。，2003, 25(8): 930-943. ·doi:10.1109/TPAMI.2003.1217599
[15] 周杰，王德科，利用综合Gröbner系统解决透视三点问题，系统科学与复杂性杂志，2016，29（5）：1446-1471·Zbl 1388.13059号 ·doi:10.1007/s11424-015-4310-y
[16] 魏斯芬宁，V.，实代数量词消去的新方法，376-392（1998）·Zbl 0900.03046号 ·doi:10.1007/978-3-7091-9459-120
[17] Kapur D，一种基于量化消除的启发式算法，用于自动生成程序归纳断言，《系统科学与复杂性杂志》，2006，19（3）：307-330·Zbl 1115.68051号 ·doi:10.1007/s11424-006-0307-x
[18] Fukasaku，R。；Iwane，H。；Sato，Y.，《通过计算综合Gröbner系统消除实量词》，173-180（2015），巴斯·Zbl 1345.68282号
[19] Fukasaku R、Inoue S和Sato Y，《基于综合Gröbner系统的代数闭域上的QE算法》，计算机科学数学，2015，9（3）：267-281·Zbl 1341.68311号 ·doi:10.1007/s11786-015-0237-x
[20] Fukasaku，R。；Iwane，H。；Sato，Y.，《改进CGS-QE算法》，231-235（2015），纽约·Zbl 1460.13051号
[21] Fukasaku，R。；Iwane，H。；佐藤，Y.，《关于CGS实际量化宽松的实施》，165-172（2016）·Zbl 1434.68705号
[22] 魏斯芬宁五世，综合Gröbner基，符号计算杂志，1992，14（1）：1-29·Zbl 0784.13013号 ·doi:10.1016/0747-7171（92）90023-W
[23] Pesh M，使用MAS计算综合Gröbner基，用户手册，1994年。
[24] Kapur，D.，《求解参数多项式方程组的方法》，217-224（1995），马萨诸塞州
[25] Montes A，讨论带参数Gröbner基的新算法，符号计算杂志，2002，33（2）：183-208·Zbl 1068.13016号 ·doi:10.1006/jsco.2001.0504
[26] 韦斯芬宁，V.，《典型综合Gröbner基地》，270-276（2002），纽约·Zbl 1072.68702号
[27] 魏斯芬宁V，规范综合Gröbner基，符号计算杂志，2003，36（3）：669-683·Zbl 1054.13015号 ·doi:10.1016/S0747-7171（03）00099-3
[28] Manubens M和Montes A，使用判别理想改进DISPGB算法，J.Symbolic。计算。，2006, 41(11): 1245-1263. ·Zbl 1121.13031号 ·doi:10.1016/j.jsc.2005.09.013
[29] 铃木A和佐藤Y，综合Gröbner基的替代方法，J.Symbolic。计算。，2003, 36(3-4): 649-667. ·Zbl 1053.13013号 ·doi:10.1016/S0747-7171（03）00098-1
[30] 铃木，A。；佐藤，Y.，通过ACGB的综合Gröbner基地，65-73（2004）
[31] Wibmer M，仿射或投影方案族的Gröbner基，J.Symbolic。计算。，2007, 42(8): 803-834. ·Zbl 1134.13025号 ·doi:10.1016/j.jsc.2007.05.001
[32] Manubens M和Montes A，最小规范综合Gröbner系统，J.Symbolic。计算。，2009, 44(5): 463-478. ·Zbl 1159.13304号 ·doi:10.1016/j.jsc.2007.07.22文件
[33] Montes A和Wibmer M，带参数多项式系统的Gröbner基，J.Symbolic。计算。，2010, 45(12): 1391-1425. ·Zbl 1207.13018号 ·doi:10.1016/j.jsc.2010.06.017
[34] 铃木，A。；Sato，Y.，使用Gröbner基计算综合Gröbner基的简单算法，326-331（2006）·Zbl 1356.13040号
[35] Kalkbrener M，关于特殊化下Gröbner基的稳定性，符号计算杂志，1997，24（1）：51-58·Zbl 1054.13502号 ·doi:10.1006/jsco.1997.0113
[36] Nabeshima，K.，计算综合Gröbner系统的算法加速，299-306（2007）·Zbl 1190.13025号
[37] 卡普尔，D。；孙，Y。；Wang，D.K.，计算综合Gröbner系统的新算法，29-36（2010）·Zbl 1321.68533号
[38] Kapur D，Sun Y和Wang D K，计算参数多项式系统的综合Gröbner系统的有效算法，符号计算杂志，2010，49:27-44·Zbl 1255.13018号 ·doi:10.1016/j.jsc.2011.12.015
[39] 卡普尔，D。；孙，Y。；Wang，D.K.，《同时计算综合Gröbner系统和综合Gróbner基础》，193-200（2011）·Zbl 1323.13004号
[40] Kapur D、Sun Y和Wang D K，计算综合Gröbner基的有效方法，符号计算杂志，2013，52:124-142·Zbl 1283.13024号 ·doi:10.1016/j.jsc.2012.05.015
[41] 卡普尔，D。；Yang，Y.，计算参数多项式系统最小综合Gröbner基的算法，21-25（2014），西班牙巴塞罗那
[42] 卡普尔，D。；Yang，Y.，检查参数多项式系统的基是否为综合Gröbner基的算法以及相关的补全算法，243-250（2015）·Zbl 1346.13059号
[43] Kapur D，参数多项式理想的综合Gröbner基理论及相关完成算法，《系统科学与复杂性杂志》，2017，30（1）：196-233·Zbl 1376.13012号 ·doi:10.1007/s11424-017-6337-8
[44] Hashemi A，Darmian M D，and Barkhordar M，Gröbner systems conversion，《计算机科学中的数学》，2017，11（1）：61-77·Zbl 1409.68344号 ·doi:10.1007/s11786-017-0295-3
[45] Fukuda K、Jensen A、Lauritzen N等，通用Gröbner walk，J.Symb。计算。，2007, 42(3): 298-312. ·Zbl 1124.68120号 ·doi:10.1016/j.jsc.2006.09.004
[46] 哈希米，A。；医学博士Darmian。；Barkhodar，M.，参数多项式理想的通用Gröbner基，191-199（2018），Cham·Zbl 1395.13027号
[47] Kurata Y，通过使用Gröbner基的稳定性和有效实现的基本操作改进铃木佐藤的CGS算法，日本符号和代数计算学会通信，2011，1:39-66。
[48] 吴文堂，关于初等几何中的判定问题和定理证明的机械化，科学。罪。，1978, 21: 159-172. ·Zbl 0376.68057号
[49] Wu W T，初等几何中力学定理证明的基本原理，自动化杂志。理由，1986，2（3）：221-252·Zbl 0642.68163号 ·doi:10.1007/BF02328447
[50] Cox D、Little J和O'shea D，《理想、多样性和算法》，施普林格出版社，纽约，1992年·Zbl 0756.13017号 ·数字对象标识代码：10.1007/978-1-4757-2181-2
[51] Cavince B F和Johnson J R，量词消除和柱面代数分解，Springer Science and Business Media，纽约，2012年。
[52] Collins，G.E.，通过柱面代数分解消除实闭场的量词，134-183（1975）·Zbl 0318.02051号
[53] 王德科，一组空间几何定理的机械证明，中国科学院系统科学研究所硕士学位论文，北京，1990。
[54] Wang，D.K.，一组空间几何问题的力学解，236-243（1992）
[55] 迪肯·M·A·B，北京定理的简单证明，《数学公报》，1992，76（476）：251-254·Zbl 0788.51018号 ·doi:10.2307/3619134
[56] 长崎，K.，使用综合Gröbner系统的参数最大公约数，341-348（2017）·Zbl 1458.13037号
[57] 卡普尔，D。；卢·D。；莫纳根，M。；等。，计算参数多元多项式GCD的有效算法，239-246（2018）·Zbl 1467.13047号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。