×

兹马思-数学第一资源

对合基的度上界。(英语) Zbl 07363376
摘要:本文研究由一组齐次多项式生成的理想的任何最小Janet基元素的最大阶的上界。给出的界取决于变量的个数和理想生成集的最大阶数。为此,通过对该方法的深入分析T、 W.杜贝[暹罗J.Comput.19,第4期,750–773(1990年;Zbl 0697.68051)],我们改进(并修正)约化Gröbner基元素阶的his界。通过给出一个简单的证明,证明了这个新的界对Pommaret基也是有效的。此外,在Dubé方法的基础上,引入了两个新的泛型概念,即J-稳定位置首要位置,我们证明了Dubé的(新)界也适用于齐次理想的任何最小Janet基上多项式的最大次数。最后,我们研究了引入的一般位置,提出了将任何给定的齐次理想转化为这些位置的确定性算法。
理学硕士:
13页10页 格勃纳碱;理想和模块的其他基础(如Janet和border Base)
68立方厘米 符号计算与代数计算
软件:
可可碱
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Albert,M.,Fetzer,M.,Seiler,W.M.:Janet在CoCoALib中的基础和决议。科学计算中的计算机代数。参加:2015年9月14日至18日在德国亚琛举行的第17届国际研讨会。诉讼程序。第15-29页,查姆:斯普林格(2015)·Zbl 1439.13074号
[2] 拜耳,D。;Stillman,M.发明了一种检测M-正则性的标准。数学,87,1-11(1987)·Zbl 0625.13003
[3] Buchberger,B.:这是一个无量纲多项式处理算法。博士论文,因斯布鲁克大学(1965年)·Zbl 1245.13020号
[4] B.Bruno-Buchberger博士论文1965:寻找零维多项式理想剩余类环基元的算法。德语翻译。J、 符号。计算机,41(3-4),475-511(2006)·Zbl 1158.01307
[5] 考克斯,达州;小J。;O'Shea,D.,理想,变种和算法。计算代数几何与交换代数导论(2015),查姆:斯普林格,查姆·Zbl 1335.13001
[6] 杜贝,TW,多项式理想和格布纳基的结构,暹罗计算机,19,4750-773(1990)·Zbl 0697.68051
[7] 弗伯格,R.,《格鲁布纳基引论》(1997),奇切斯特:威利,奇切斯特·Zbl 0997.13500号
[8] Gerdt,副总裁;甘扎,VG;梅尔,EW;《科学计算中的计算机代数》,第167-181页(2000),柏林:斯普林格,柏林
[9] Gerdt,V.P.:计算Gröbner基的对合算法。计算交换和非交换代数几何。2004年:北约高级研究研讨会论文集。阿姆斯特丹:IOS出版社,199-225页(2005年)
[10] Gerdt,副总裁;布林科夫,亚,多项式理想的对合基,数学。计算机。模拟,45,5-6,519-541(1998)·邮编:1017.13500
[11] Giusti,M.:多项式理想理论中的一些有效性问题。EUROSAM 84号。国际符号与代数计算研讨会论文集。计算机科学讲义,剑桥/英语174,第159-171页(1984年)
[12] Hashemi,A.,Parnian,H.,Seiler,W.M.:Nœther碱及其应用。伊朗数学学会公报(2019年)·Zbl 1430.13045号
[13] 哈希米,A。;Schweinfurter,M。;塞勒,WM,多项式理想的确定性泛型,J.Symb。计算,86,20-50(2018年)·Zbl 1446.13021
[14] Hashemi,A.,Seiler,W.M.:Gröbner基的维数相关上界。第42届符号与代数计算国际研讨会论文集,ISSAC 2017,德国凯泽斯劳滕,2017年7月25-28日。纽约,纽约:计算机机械协会(ACM),2017年,第189-196页(2017年)·Zbl 1450.13012号
[15] 珍妮特,M.,《中央研究院附属第三方系统方程》。科学。巴黎,1701101-1103(1920)·京FM 47.0440.03
[16] Lazard,D.:Gröbner基,高斯消去和代数方程组的分解。计算机代数,欧洲83。在:诉讼。计算机科学讲义会议162,pp 146-156,伦敦(1983)
[17] Mall,D.,《格布纳和波马雷特碱基之间的关系》,应用。代数工程公社。第117期,1998年第9期·Zbl 0926.13017
[18] 梅尔,EW;Ritscher,S.,多项式理想的Gröbner基的维数相关界,J.Symb。计算机,49,78-94(2013)·Zbl 1258.13032号
[19] 米勒E。;Sturmfels,B.,组合交换代数(2005),纽约:Springer,纽约·Zbl 1090.13001
[20] Möller,H.,Mora,F.:Gröbner基度数的上下界。EUROSAM 84,符号和代数计算。国际研讨会论文集,剑桥/英语。1984年,计算机科学课堂讲稿174页172-183(1984)
[21] 莫拉,T.,《解多项式方程组II:麦考利范式与格布纳技术》(2005),剑桥:剑桥大学出版社,剑桥·Zbl 1161.13306
[22] Pommaret,J.,偏微分方程组和李伪群(1978),伦敦:戈登和Break科学出版社,伦敦·Zbl 0418.35028
[23] 周永平,周永康,对合与〈δ〉-正则性之组合方法之二:具有Pommaret基之多项式模之结构分析,应用。代数工程公社。计算机,20,3-4,261-338(2009)·Zbl 1175.13011号
[24] 《对合:微分方程的形式理论及其在计算机代数中的应用》(2010),柏林:斯普林格,柏林·Zbl 1205.35003
[25] 扎尔科夫,A。;Blinkov,Y.,研究多项式系统的对合方法,数学。计算机。Simul.,42,4323-332(1996年)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。