安东尼奥·蒙特斯;迈克尔·维布默 带参数多项式系统的Gröbner基。 （英语） Zbl 1207.13018号 J.塞姆。计算。 45，第12期，1391-1425（2010）. 多年来，Gröbner基在研究多项式系统中发挥着重要作用。本文的主要目的是确定由参数多项式生成的理想的约化Gröbner基，与参数值无关。为此，作者提出了所谓的GRØBNERCOVER公司算法。对于作为输入的有限参数多项式集，该算法将参数空间有限划分为局部闭子集以及某些多项式数据，从中可以确定每个参数点的约化Gröbner基。如果给定的参数多项式系统是齐次的，那么参数空间的划分是简单的、内在的。这个GRØBNERCOVER公司算法在计算机代数系统中实现单一.审核人：朱奈德·阿拉姆·汗（卡拉奇） 引用于3评论引用于32文件 MSC公司： 13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础） 13-04 与交换代数有关的问题的软件、源代码等 关键词：GRØBNERCOVER公司;单一;综合的;减少;规范的;参数;局部闭集 软件：瑞萨/阿西尔;重新记录;正则链;dpgb标准;单一;发现者;可构造设置工具;参数化系统工具 PDF格式BibTeX公司 XML格式引用 \textit{A.Montes}和\textit{M.Wibmer}，J.Symb。计算。45，第12号，1391--1425（2010；Zbl 1207.13018） 全文： 内政部 参考文献： [1] 阿隆索，M.E。；Raimondo，M.，（局部分解算法.局部分解算法，LNCS，第508卷（1990），Springer），208-221·Zbl 0806.13012号 [2] Becker，T.，《关于专业化下的Gröbner基地》，Appl。代数工程通信计算。，第5页，第1-8页（1994年）·Zbl 0797.13015号 [3] 贝克尔，T。；魏斯芬宁，V.，《中国剩余问题，多元插值和Gröbner基》（ISSAC’91（1991），ACM），64-69·Zbl 0925.13013号 [4] 贝克尔，T。；Weispfenning，V.，Gröbner Bases：交换代数的计算方法（1993），Springer:Springer New-York·兹比尔0772.13010 [5] 卡瓦拉，M。；孔戴，P。；Traverso，C.（《又一理想分解算法》，《又一个理想分解算法，LNCS》，第1255卷（1995年），施普林格出版社），第39-54页·Zbl 1042.13500号 [6] 陈，C。；O.Golubitsky。；Lemaire，F。；莫雷诺·马扎（Moreno Maza，M.）。；Pan，W.，《综合三角分解》（CASC'07年会议记录）。CASC’07会议记录，LNCS，第4770卷（2007），Springer Verlag），73-101·Zbl 1141.68677号 [7] Chen，C.，Lemaire，F.，Li，L.，Moreno-Maza，M.，Pan，W.，Xie，Y.，2009年。这个可构造设置工具和参数系统工具模块正则链枫叶图书馆。预打印。；Chen，C.，Lemaire，F.，Li，L.，Moreno-Maza，M.，Pan，W.，Xie，Y.，2009年。这个可构造设置工具和参数化系统工具模块正则链枫叶图书馆。预打印。 [8] Coste，M.，2004年。系列机械手分类：计算机代数和几何洞察力。全体会谈（个人交流）。摘自：《EACA-2004会议录》，第323-323页。；Coste，M.，2004年。系列机械手分类：计算机代数和几何洞察力。全体会谈（个人交流）。摘自：《EACA-2004会议记录》，第323-323页。 [9] Dellière，S.（1999）。建设性系统的三角化。应用评估动态。利摩日大学Thèse博士。利摩日，1995年。；Dellière，S.（1999）。可构建系统的三角化。动态估值的应用。利摩日大学Thèse博士。利摩日，1995年。 [10] Dolzmann，A.、Seidl，A.、Sturm，T.（2006）。REDUCE中的REDLOG软件http://redlog.dolzmann.de/。；Dolzmann，A.、Seidl，A.、Sturm，T.（2006）。REDUCE中的REDLOG软件http://redlog.dolzmann.de/。 [11] Duval，D.，《评估动态与现实》，J.Pure Appl。代数，99，267-295（1995）·Zbl 0851.11075号 [12] 艾森巴德，D.，《交换代数与代数几何的观点》（1994），施普林格：施普林格纽约，（第三次印刷更正（1999）） [13] 艾森巴德，D。；Huneke，C。；Vasconcelos，W.，初级分解的直接方法，发明数学。，110207-235（1992年）·Zbl 0770.13018号 [14] Emiris，I.Z.，《研究和计算分子构象的计算机代数方法》，《算法》，25，372-402（1999） [15] Faugère，J.C.，计算Gröbner基而不归零的一种新的高效算法，（Proc.ISSAC’02（2002），ACM），75-83·Zbl 1072.68664号 [16] 福图纳，E。；詹尼，P。；Trager，B.，专业化下的学位降低，J.Pure Appl。代数，164，1-2，153-164（2001），（MEGA 2000程序）·Zbl 0998.13014号 [17] Gao，X.S。；Wang，D.K.，用于计算参数方程组解个数的零分解定理，（Li，Ziming；Sit，William，第六届亚洲计算机数学研讨会论文集，第六次亚洲计算机数学会议论文集，计算讲义系列，第10卷（2003），《世界科学》，129-144·Zbl 1232.65078号 [18] 格鲍尔，R。；Möller，H.M.，关于布赫伯格算法的安装，J.符号计算。，6, 275-286 (1988) ·Zbl 0675.13013号 [19] Gianni，P.，特殊化下Gröbner基的性质，（Davenport，J.H.，EUROCAL’87）。欧洲87年，LNCS，第378卷（1987），施普林格），293-297·Zbl 1209.13033号 [20] Giovini，A。；莫拉·T。；Niesi，G。；罗比亚诺，L。；Traverso，C.，“请给我一个糖块”，《布氏算法中的OR选择策略》（Proc.ISSAC’91（1991），ACM），49-54·Zbl 0933.68161号 [21] Giusti，M。；Heintz，J.，Algorithmes-disons rapides-pour laécomposition d'une variétéalgébrique en composantes irréutibles，Prog.《快速算法-四种组合》。数学。，94, 169-194 (1990) ·兹比尔0755.14018 [22] 戈麦斯·迪亚兹，T.，2000年。动态结构闭合。In：程序。《Posso软件研讨会》，巴黎，2000年，第73-93页。；Gómez-Díaz，T.，2000年。动态结构闭合。In：程序。《Posso软件研讨会》，巴黎，2000年，第73-93页。 [23] González-López，M.J。；Recio，T.，《ROMIN逆几何模型和动态评估方法》，（Cohen，A.M.，《工业中的计算机代数》（1993），威利父子公司），117-141 [24] González-López，M.J。；González-Vega，L。；特拉弗索，C。；Zanoni，A.，Gröbner通过Hilbert函数建立专业化基础：同质情况，SIGSAM BULL，34，1，1-8（2000），（第131期）·Zbl 1067.13502号 [25] González-Vega，L.，Traverso，C.，Zanoni，A.，2005年。希尔伯特分层和参数Gröbner基。载于：《CASC-2005会议记录》，第220-235页。；González-Vega，L.，Traverso，C.，Zanoni，A.，2005年。希尔伯特分层和参数Gröbner基。摘自：《CASC-2005年会刊》，第220-235页·Zbl 1169.68662号 [26] 詹尼，P。；Trager，B。；Zacharias，G.，Groebner基与多项式理想的主分解，J.符号计算。，6, 2-3, 149-167 (1988) ·Zbl 0667.13008号 [27] Van Hentenryck，P。；McAllester，D。；Kapur，D.，使用分支和剪枝方法求解多项式系统，SIAM J.Numer。分析。，34, 2, 797-827 (1997) ·Zbl 0874.65039号 [28] 海因茨，J。；Morgenstern，J.，《关于消除理论的内在复杂性》，J.complexity，9471-498（1993）·Zbl 0835.68054号 [29] 井上S.、长井A.、佐藤Y.，2007年。关于布尔多项式环的消元理想的计算。摘自：《美国医学会学报》，2007年，第334-348页。；井上S.、长井A.、佐藤Y.，2007年。关于布尔多项式环的消元理想的计算。摘自：《美国医学会学报》，2007年，第334-348页·兹比尔1166.13303 [30] Inoue，S.，Sato，Y.，2007年。关于综合Gröbner系统的并行计算。摘自：《PASCO学报》，2007年，第99-101页。；井上，S.，佐藤，Y.，2007年。关于综合Gröbner系统的并行计算。摘自：《PASCO学报》，2007年，第99-101页。 [31] Kalkbrenner，M.，关于特殊化下Gröbner基的稳定性，J.符号计算。，24, 1, 51-58 (1997) ·Zbl 1054.13502号 [32] Kapur，D.，《求解参数多项式方程组的方法》，（Saraswat，Vijay；Van Hentenryck，Pascal，《约束编程原理与实践》（1995），麻省理工学院出版社），217-244 [33] Manubens，M.，2008年。《参数多项式系统讨论：典型综合Gröbner系统》博士论文，加泰罗尼亚政治大学，2008年。；Manubens，M.，2008年。“参数多项式系统讨论：典型综合Gröbner系统”博士论文，加泰罗尼亚政治大学，2008年。 [34] 马努本斯，M。；Montes，A.，使用判别理想改进DISPGB算法，J.符号计算。，41, 1245-1263 (2006) ·Zbl 1121.13031号 [35] 马努本斯，M。；Montes，A.，最小规范综合Gröbner系统，J.符号计算。，44, 5, 463-478 (2009) ·Zbl 1159.13304号 [36] Montes，A.，四节点电网负荷流动问题的代数解，数学。公司。模拟。，45, 163-174 (1998) ·Zbl 1017.94534号 [37] Montes，A.，讨论带参数Gröbner基的新算法，J.符号计算。，33, 1-2, 183-208 (2002) ·Zbl 1068.13016号 [38] Mora，T.，《求解多项式方程系统II：Macaulay范式和Gröbner技术》（2005），剑桥大学出版社，（第35.6-9节）·Zbl 1161.13306号 [39] 蒙特斯，A。；Recio，T.，《使用最小规范综合Groebner系统自动发现几何定理》（ADG 2006年学报）。ADG 2006年会议记录，LNAI，第4869卷（2007），Springer），113-138·Zbl 1195.68093号 [40] Moreno-Maza，M.（1997年）。代数系统方程的简单与Ré解决方案。巴黎第六大学博士论文，1997年。；Moreno-Maza，M.（1997年）。代数系统方程的简单与Ré解决方案。1997年巴黎大学博士论文。 [41] Nabeshima，K.，《ACGB-V的计算方法》，（Dolzmann，A.；Seidl，A.；Sturm，T.，《2005年A3L会议记录》（V.Weispfenning第60个Bithday纪念大会）（2005），BOD Norderstedt），171-180 [42] Nabeshima，K.（2006年）。模块的综合Groebner基础。短通信，ACA-2006，瓦尔纳。；Nabeshima，K.（2006年）。模块的综合Groebner基础。短通信，ACA-2006，瓦尔纳。 [43] O'Halloran，J。；Schilmoeller，M.，可构造集的Gröbner基，《公共代数》，30，11，5479-5483（2002）·Zbl 1047.14049号 [44] Pesch，M.（1994）。使用MAS计算综合Gröbner基。用户手册，1994年9月。；Pesch，M.（1994）。使用MAS计算综合Gröbner基。用户手册，1994年9月。 [45] Rychlik，M.，《计算代数几何参数算法的复杂性和应用》，（del la Llave，R.；Petzold，L.；Lorenz，J.，《算法动力学》，《算法的动力学》，数学及其应用IMA卷，第118卷（2000），Springer-Verlag），1-29·Zbl 0957.14040号 [46] Sato，Y.，Gröbner基和ACGB的稳定性，（Dolzmann，A.；Seidl，A.；Sturm，T.，2005年A3L会议记录（纪念V.Weispfenning 60岁生日的会议）（2005年），BOD Norderstedt），223-228 [47] 佐藤，Y。；铃木，A.，综合Gröbner基的替代方法，J.符号计算。，36, 3-4, 649-667 (2003) ·Zbl 1053.13013号 [48] 铃木，A。；Sato，Y.，计算综合Gröbner基的简单算法，（ISSAC 2006（2006），ACM会议录），326-331·Zbl 1356.13040号 [49] 铃木，A。；Sato，Y.，《使用铃木-佐藤算法在Risa/Asir和其他计算机代数系统上实现CGS和CGB》，ACM Commun。计算。代数，41，3（2007），http://kurt.cla.kobe-u.ac.jp/萨基拉/CG总线GB/ [50] Schönfeld，E.（1991）。计算机代数系统ALDES/SAC-2中的参数化Gröbnerbasen。Dipl.博士。论文，帕索大学，德国，1991年5月。；Schönfeld，E.（1991）。计算机代数系统ALDES/SAC-2中的参数化Gröbnerbasen。Dipl.博士。论文，帕索大学，德国，1991年5月。 [51] 魏斯芬宁，V.，《综合Gröbner基础》，J.符号计算。，14, 1-1, 1-29 (1992) ·Zbl 0784.13013号 [52] 魏斯芬宁，V.，规范综合Gröbner基，J.符号计算。，36, 3-4, 669-683 (2003) ·Zbl 1054.13015号 [53] Wibmer，M.，仿射或投影方案族的Gröbner基，符号计算杂志。，42,8803-834（2007年）·Zbl 1134.13025号 [54] Yang，L。；侯，X。；Xia，B.，一类不等式型定理自动发现的完整算法，Sci。中国，Ser。f、 44、6、33-49（2001）·Zbl 1125.68406号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。