×
程金珊;高小山;郭雷雷

线性单变量表示的零维多项式系统的根隔离。 （英语） Zbl 1254.65064号

J.塞姆。计算。 47，第7期，843-858（2012）.
作者摘要：给出了零维多项式方程组根的一元线性表示，其中多项式系统的复根表示为几个一元多项式方程根的线性组合。基于Gröbner基计算，提出了一种算法来计算给定的零维多项式方程组的这种表示。这种表示法的主要优点是易于控制系统根的精度。事实上，基于线性单变量表示，我们可以给出隔离单变量方程根所需的精确精度，以便以给定精度获得多项式系统的根。因此，一个零维多项式方程组的根隔离算法可以很容易地从其线性单变量表示中导出。
审核人：尤里·拉波波特（莫斯科）

引用于8文件

MSC公司：

65H10型 方程组解的数值计算
65小时04 多项式方程根的数值计算

关键词：

零维多项式系统;线性单变量表示;局部通用位置;根部隔离;Gröbner基

软件：

液化石油气;隔离;克罗内克
PDF格式BibTeX公司 XML格式引用
\textit{J.-S.Cheng}等人，J.Symb。计算。47，第7号，843--858（2012；Zbl 1254.65064）
全文： DOI程序

参考文献：

[1] 阿隆索，M.E。；贝克尔，E。；罗伊，M.F。；Wörmann，T.，零维系统的零、重数和幂等元，（代数几何中的算法和应用（1996），Birkhauser），1-15·Zbl 0879.14033号
[2] 巴苏，S。；波拉克，R。；Roy，M.F.，《实代数几何中的算法》（2006），斯普林格出版社·兹伯利1102.14041
[3] 小檗恰，E。；Kerbera，M。；Sagraloffa，M.，《代数曲面分层和三角剖分的有效算法》，计算几何，43，3，257-278（2010），第24届计算几何年会专刊（SoCG'08）·Zbl 1203.65037号
[4] 坎尼，J.F.，1988年。pspace中的一些代数和几何计算。收录：ACM Symp。计算理论，SIGACT。第460-469页。；坎尼，J.F.，1988年。pspace中的一些代数和几何计算。收录：ACM Symp。计算理论，SIGACT。第460-469页。
[5] Cheng，J.S。；Gao，X.S。；Li，J.，用局部类属位置法对二元多项式系统进行根隔离，（Proc.ISSAC 2009（2009），ACM Press），103-109·Zbl 1237.65045号
[6] Cheng，J.S。；Gao，X.S。；Li，M.，《确定实代数曲面的拓扑》，（Martin，R.；Bez，H.；Sabin，M.11 IMA曲面数学会议，11 IMA表面数学会议，LNCS，第3604卷（2005）），121-146·Zbl 1141.68628号
[7] Cheng，J.S。；Gao，X.S。；Yap，C.K.，零维三角系统实根的完全数值隔离，符号计算杂志，44，7，768-785（2009）·Zbl 1169.13017号
[8] 柯林斯，G.E。；Krandick，W.，《多项式复数根计算的切线法》（Proc.ISSAC 1996（1996），ACM Press），137-141·Zbl 0914.65049号
[9] Cox，D.A.，《通过代数求解方程》（Dichenstein，Alicia；Emiris，Ioannis Z.，《求解多项式方程》（2005），Springer）·Zbl 1152.13306号
[10] 考克斯，D.A。；Little，J。；O'Shea，D.，《使用代数几何》（2004），Springer-Verlag
[11] 埃米利斯，I.Z。；Mourrain，B。；Tsigaridas，E.P.，《DMM界：多元（聚合）分离界》（ISSAC 2010（2010），ACM:ACM纽约，纽约，美国），243-250·Zbl 1321.68528号
[12] Faugère，J.C。；詹尼，P。；拉扎德，d。；Mora，T.，通过改变顺序有效计算零维Gröbner基，符号计算杂志，16，4，329-344（1993）·Zbl 0805.13007号
[13] 高，X.S。；Chou，S.C.，《关于预解式的理论及其应用》，系统科学与数学科学，12，17-30（1999）·Zbl 1073.13505号
[14] 詹尼，P。；Mora，T.，使用Groebner基的多项式方程组的代数解，（AAECC5。AAECC5，LNCS，第356卷（1989年），247-257·Zbl 0692.13012号
[15] Giusti，M。；Heintz，J.，Algorithmes-disons rapides-pour la dècomposition d'une variètéalgébrique en composantes irréducibles etéquidimensionnelles，（《MEGA程序》90（1991），Birkhäuser），169-193·Zbl 0755.14018号
[16] 朱斯蒂，M。；Lecerf，G。；Salvy，B.，《多项式系统求解的无Gröbner替代方案》，《复杂性杂志》，第17期，第154-211页（2001年）·Zbl 1003.12005年
[17] Keyser，J.，Rojas，J.M.，Ouchi，K.，2005年。精确有理一元表示及其应用。AMS/DIMACS计算机辅助设计与制造卷，美国数学学会/离散数学与计算机科学中心。；Keyser，J.，Rojas，J.M.，Ouchi，K.，2005年。精确有理一元表示及其应用。AMS/DIMACS计算机辅助设计和制造卷。美国数学学会/离散数学和计算机科学中心·Zbl 1272.65023号
[18] 小林，H。；Moritsugu，S。；Hogan，R.W.，代数方程组的求解，（ISSAC 1988（1988），ACM出版社），139-149
[19] 小林，H。；富士，T。；Furukawa，A.，用一般消去法求解代数方程组，符号计算杂志，5，3，303-320（1988）·Zbl 0648.12017号
[20] Kronecker，L.，Grundzüge einer代数算术理论grössen，Journal für die Reine und Angewandte Mathematik，92，1-22（1882）
[21] 纽约州拉克希曼。；Lazard，D.，《关于零维代数系统的复杂性》，（代数几何中的效率方法。代数几何的效率方法，数学进展，第94卷（1991年），Birkhä用户：Birkhá用户巴塞尔），217-225·Zbl 0733.13015号
[22] Lazard，D.，方程代数系统的解析，理论计算机科学，1577-110（1981）·Zbl 0459.68013号
[23] Moore，R.E.，《区间分析》（1966），普伦蒂斯·霍尔：新泽西州普伦蒂斯霍尔-恩格尔伍德悬崖·Zbl 0176.13301号
[24] Neumaier，A.，《方程组的区间方法》（1990），剑桥大学出版社·Zbl 2009年6月7日
[25] 平克特，J.R.，《求复多项式根的精确方法》，ACM数学软件汇刊，2，4，351-363（1976）·Zbl 0341.65036号
[26] Renegar，J.，《论实相一阶理论的计算复杂性和几何学》。第一部分，符号计算杂志，13，255-299（1992）·Zbl 0763.68042号
[27] Rouillier，F.，通过有理单变量表示求解零维系统，工程、通信和计算中的应用代数，9，5，433-461（1999）·Zbl 0932.12008号
[28] Sagraloff，M.，Yap，C.K.，2009年。一种有效的多项式复数根的精确细分算法及其复杂性分析。10月（提交出版）。；Sagraloff，M.，Yap，C.K.，2009年。一种分离多项式复根的有效精确细分算法及其复杂度分析。10月（提交出版）。
[29] Wilf，H.S.，用于计算复平面多项式零点的全局二分算法，ACM杂志，25，3，415-420（1978）·Zbl 0378.30003号
[30] Yap，C.K.，《算法代数的基本问题》（2000），牛津出版社·兹比尔0999.68261
[31] 横山，K。；诺罗，M。；Takeshima，T.，计算扩展域的基本元素，符号计算杂志，8，6，553-580（1989）·Zbl 0697.68054号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。