×
马晓东;孙尧;王定康

用Gröbner基计算零维理想的多项式单变量表示。 （英语） Zbl 1272.13026号

科学。中国，数学。 第6号第55页，1293-1302页（2012年）.
摘要：零维理想的有理单变量表示（RUR）被用来描述零维理想中的零点，RUR已经被广泛研究。1999年，F.鲁利耶【应用代数-工程-公共计算9，第5期，433-461（1999；Zbl 0932.12008号)]提出了一种计算零维理想RUR的有效算法。在本文中，我们将提出一种计算零维理想多项式单变量表示（PUR）的新算法。新算法基于Gröbner基的一些有趣性质。新算法还提供了一种测试分离元素的方法。

引用于三文件

MSC公司：

13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
68瓦30 符号计算和代数计算

关键词：

俄罗斯卢布;聚氨酯;零维理想;Gröbner基

引文：

Zbl 0932.12008号

软件：

隔离
PDF格式BibTeX公司 XML格式引用
\textit{X.Ma}等人，科学。中国，数学。55，第6号，1293--1302（2012；Zbl 1272.13026）
全文： 内政部

参考文献：

[1] Becker T，Weispfenning V.Gröbner基：交换代数的计算方法。纽约：Springer-Verlag，1993·Zbl 0772.13010号
[2] Cheng J S，Gao X S，Guo L L。线性单变量表示的零维多项式系统的根隔离。Symb Comp杂志，2012年，47:843–8585·Zbl 1254.65064号 ·doi:10.1016/j.jsc.2011.12.11
[3] Emiris I Z，Pan V Y。计算行列式和结果的改进算法。复杂性杂志，2005，21:43–71·Zbl 1101.68981号 ·doi:10.1016/j.jco.2004.03.003
[4] Faugère J C，Gianni P，Lazard D，et al.通过改变次序有效计算零维Gröbner基.符号计算机杂志，1993，16:329–344·Zbl 0805.13007号 ·doi:10.1006/jsco.1993.1051
[5] 理想基和初等分解：两个变量的情况。Symb Comp杂志，1985年，1:261–270·Zbl 0616.68036号 ·doi:10.1016/S0747-7171（85）80035-3
[6] Marinari M G，Möller H M，Mora T.Gröbner泛函定义的理想基及其对射影点理想的应用。应用代数工程与通信委员会，1993，4:103–145·Zbl 0785.13009号 ·doi:10.1007/BF01386834
[7] Mourrain B，Técourt J P，Teillaud M。关于三维二次曲面排列的计算。Comp-Geom，2005，30:145–164·Zbl 1063.65018号 ·doi:10.1016/j.comgeo.2004.05.003
[8] Noro M，Yokoyama K。计算零维理想的有理单变量表示的模块化方法。Symb Comp杂志，1999年，28:243–263·Zbl 0945.13010号 ·doi:10.1006/jsco.1999.0275
[9] Ouchi K，Keyser J.通过复曲面结果进行理性单变量约简。Symb Comp杂志，2008年，43:811–844·兹伯利1174.13041 ·doi:10.1016/j.jsc.2008.02.002
[10] Rouillier F.通过有理单变量表示求解零维系统。应用代数工程与通信委员会，1999年，9:33–461·Zbl 0932.12008号
[11] 孙毅，王德康。代数扩张域上多项式因式分解的一种有效算法。Arxiv:0907.2300v22009年·Zbl 1271.12007年
[12] Tan C，Zhang S G.零维代数簇中短系数有理一元表示的分离元计算。吉林科技大学学报，2009，47:174–178·Zbl 1212.14006号
[13] 肖世杰，曾国喜。计算多项式函数全局下确界和极小值的算法。科学中国数学，2012，55:881–891·兹比尔1260.68486 ·doi:10.1007/s11425-011-4326-2
[14] 曾国X，肖世杰。用吴方法计算零维系统的有理一元表示。科学与数学，2010，40:999–1016
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。