×
Katsusuke Nabeshima;新一田岛

通过综合Gröbner系统求解参数理想隶属度问题和计算收敛幂级数环中的整数。 （英语） Zbl 1474.13057号

数学。计算。科学。 13，第1-2号，185-194（2019）.
摘要：提出了求解带参数理想隶属度问题和计算收敛幂级数环中整数的新算法。证明了收敛幂级数环中零维理想的理想隶属度问题可以在多项式环中求解。算法的核心思想是计算多项式环中理想商的综合Gröbner系，作为应用程序引入。

引用于三文件

MSC公司：

13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
14H20型 曲线的奇点，局部环

关键词：

综合Gröbner系统;局部环;理想隶属度问题

软件：

单一
PDF格式BibTeX公司 XML格式引用
\textit{K.Nabeshima}和\textit{S.Tajima}，数学。计算。科学。13，编号1-2185-194（2019；兹bl 1474.13057）
全文： DOI程序

参考文献：

[1] Cox，D.、Little，J.、O'Shea，D.：理想、多样性和算法，第三版。施普林格，纽约（2007）·Zbl 1118.13001号 ·doi:10.1007/978-0-387-35651-8
[2] Decker，W.，Greuel，G.-M.，Pfister，G.，Schönemann，H.：用于多项式计算的奇异4-1-0-计算机代数系统（2016）。网址：http://www.singular.uni-kl.de。2018年5月31日查阅
[3] Gaffney，T.：模的积分闭包和Whitney等奇点。发明。数学。107, 301-322 (1992) ·Zbl 0807.32024号 ·doi:10.1007/BF01231892
[4] Gaffney，T.：理想和模的积分闭包理论：应用和新发展。Steven Kleiman和Anders Thorup的附录，奇点理论的新发展（剑桥，2000），北约科学系列II数学、物理和化学，第21卷。Kluwer学术出版社（2001）
[5] Kapur，D.，Sun，Y.，Wang，D.：计算综合Gröbner系统的新算法。摘自：2010年符号和代数计算国际研讨会论文集，第29-36页。ACM（2010）·Zbl 1321.68533号
[6] 加藤，M.：[x^9+y^4]x9+y4的\[mu\]μ-常数变形的\[b\]b-函数。牛市。科尔。科学。琉球大学33，5-8（1982）·Zbl 0505.32011年
[7] Kulikov，V.：混合霍奇结构和奇点。剑桥数学丛书，第132卷。剑桥大学出版社，剑桥（1998）·Zbl 0902.14005号 ·doi:10.1017/CBO9780511758928
[8] Malgrange，B.：致编辑的信。发明。数学。20, 171-172 (1973) ·Zbl 0264.14003号 ·doi:10.1007/BF01404064
[9] Mora，T.：计算切线锥方程的算法。摘自：《1982年欧洲摄像会议录》。计算机科学课堂讲稿，第144卷，第158-165页。斯普林格，海德堡（1982）·Zbl 0568.68029号
[10] Mora，T.，Pfister，G.，Traverso，T.：切线锥算法简介。高级计算。第6号决议，199-270（1992）。（发表于机器人和非线性几何）
[11] Nabeshima，K.：单项基和综合Gröbner系统的稳定性条件，计算机科学讲义，第7442卷，第248-259页。施普林格，纽约（2012）·Zbl 1373.13030号
[12] Noro，M.，Takeshima，T.：Risa/Asir-计算机代数系统。载于：1992年符号和代数计算国际研讨会论文集，第387-396页。ACM（1992）。网址：http://www.math.kobe-u.ac.jp/Asir/Asir.html。访问日期：2017年11月7日·Zbl 0964.68597号
[13] Saia，M.J.：理想的积分闭包和牛顿过滤。J.Algebr。地理。5, 1-11 (1996) ·Zbl 0861.14048号
[14] Saia，M.J.，Tomazella，J.N.：具有恒定Milnor数和非退化复杂超曲面多重性的变形。加利福尼亚州。材料03、33-44（2002）
[15] Scherk，J.：关于孤立超曲面奇点的高斯-马宁联系。数学。附录238（1），23-32（1978）·Zbl 0409.32004号 ·doi:10.1007/BF01351450
[16] Scherk，J.：关于孤立超曲面奇点的单值定理。发明。数学。58(3), 289-301 (1980) ·Zbl 0432.32010号 ·doi:10.1007/BF01390256
[17] Schulze，M.：高斯-曼宁连接的算法。J.塞姆。计算。32, 549-564 (2001) ·Zbl 0987.32014号 ·doi:10.1006/jsco.2001.0482
[18] Shibuta，F.，Tajima，S.：计算Cohen-Macaulay局部环的Hilbert-Suell重数和零维理想约化的算法。arXiv:1710.01435v1[math.AC]，2017年10月4日·Zbl 1446.13011号
[19] Skoda，H.，Briançon，J.：《自然科学杂志》，《在非点上的功能完整形态》[\mathbb{C}^nCn.C\]。R.学院。科学。巴黎。A 278949-951（1974）·Zbl 0307.3207号
[20] 铃木，A.，佐藤，Y.：一种简单的算法，用于使用格氏基计算综合格氏基。摘自：2006年符号和代数计算国际研讨会论文集，第326-331页。ACM（2006）·Zbl 1356.13040号
[21] Swanson，I.，Huneke，C.：理想、环和模的整体闭包。剑桥大学出版社，剑桥（2006）·Zbl 1117.13001号
[22] Teissier，B.：Cyclesévancents，sections planes et conditions de Whitney。阿斯特里斯克斯7-8285-362（1973）·Zbl 0295.14003号
[23] Teissier，B.：等奇异性问题导论。摘自：《纯粹数学研讨会论文集》，第29卷，第593-632页（1975年）·兹比尔0322.14008
[24] Teissier，B.：《波兰变奏曲I·发明》。数学。40, 267-292 (1977) ·兹比尔0446.32002 ·doi:10.1007/BF01425742
[25] Yano，T.：关于b-函数理论。出版物。Res.Inst.数学。科学。14, 111-202 (1978) ·Zbl 0389.32005号 ·doi:10.2977/prims/1195189282
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。