×
马克·莫雷诺·马扎;格雷格·里德;罗宾·斯科特;吴文元

关于零维上的近似三角分解。 （英语） Zbl 1146.68484号

J.塞姆。计算。 42，第7期，693-716（2007）.
摘要：具有精确系数的变量多项式方程组的三角分解在理论上和计算机代数系统中的实现算法方面都得到了很好的发展。然而，关于具有近似系数的系统的三角分解的研究却少得多。
本文讨论了具有有限多个根的系统的零维情形。我们的方法依赖于对所有根的逼近，而这些都是由Sommese、Verschelde和Wampler的同伦延拓方法提供的。我们介绍了此类系统的近似等投影分解，它是最近发展起来的精确系统的类似概念的推广。我们通过实验证明了这种新方法的良好计算特性，并对其误差进行了统计分析。

MSC公司：

68瓦30 符号计算和代数计算
13第05页 交换环中的多项式、因式分解

关键词：

符号数字计算;三角分解;零维;多项式系统求解

软件：

Phcmaple公司;FRISCO公司;符号数据;正则链;PHC包
PDF格式BibTeX公司 XML格式引用
\textit{M.Moreno Maza}等人，J.Symb。计算。42，第7号，693--716（2007；Zbl 1146.68484）
全文： 内政部

参考文献：

[1] 奥布里，P。；拉扎德，D。；Moreno Maza，M.，《关于三角集理论》，J.符号计算。，28, 1-2, 45-124 (1999) ·Zbl 0943.12003号
[2] 奥布里，P。；Moreno Maza，M.，求解多项式系统的三角集：四种方法的比较实现，符号计算。，28, 1-2, 125-154 (1999) ·Zbl 0943.12004号
[3] 奥布里，P。；Valibouze，A.，《使用伽罗瓦理想计算相对预解函数》，符号计算杂志。，30, 6, 635-651 (2000) ·Zbl 0989.12004号
[4] 伯鲁特，J.P。；Trefethen，L.N.，重心拉格朗日插值，SIAM Rev.，46，3，501-517（2004）·Zbl 1061.65006号
[5] 布鲁姆，L。；Cucker，F。；舒布，M。；Smale，S.，《复杂性与实际计算》（1997），施普林格出版社：纽约施普林格·Zbl 0948.68068号
[6] Chèze，G.，Galligo，A.，2005年。从近似到精确的绝对多项式因式分解。技术报告。尼斯大学；Chèze，G.，Galligo，A.，2005年。从近似到精确的绝对多项式因式分解。技术报告。尼斯大学
[7] Chou，S.C.，《机械几何定理证明》（1988），D.Reidel Publ。公司名称：D.Reidel出版社。公司。多德雷赫特·Zbl 0661.14037号
[8] Dahan，X.，Jin，X.、Moreno Maza，M.、Schost，等。，2006.正尺寸规则链的订购变更。地点：枫叶会议。加拿大，第26-34页；Dahan，X.，Jin，X.、Moreno Maza，M.、Schost，等。，2006.正尺寸规则链的订购变更。地点：枫叶会议。加拿大，第26-34页·Zbl 1114.68616号
[9] Dahan，X.、Moreno Maza，M.、Schost，等。，Wu，W.，Xie，Y.，2004年。零维簇的等投射分解。In:ICPSS。巴黎第六大学，法国，第69-71页；Dahan，X.、Moreno Maza，M.、Schost，等。，Wu，W.，Xie，Y.，2004年。零维簇的等投射分解。In:ICPSS。法国巴黎大学，第6期，第69-71页
[10] Dahan，X。；莫雷诺·马扎（Moreno Maza，M.）。；Schost，E。；Wu，W。；谢毅，三角分解的提升技术，（ISSAC’05（2005），ACM出版社），108-115·Zbl 1360.14146号
[11] Dahan，X。；埃利桑那州斯科斯特。，三角形集合的尖锐估计，（ISSAC 04（2004），ACM出版社），103-110·Zbl 1134.13308号
[12] 巴里·戴顿（Barry H.Dayton）。；Zeng，Zhonggang，计算多项式系统的多重性结构，（ISSAC 05（2005），ACM出版社），116-123·Zbl 1360.65151号
[13] 欧洲委员会，1996年。FRISCO-集成符号/数字计算框架。Esprit计划项目编号21 024。http://www.nag.co.uk/projects/FRISCO.html; 欧洲委员会，1996年。FRISCO-集成符号/数字计算框架。Esprit计划项目编号21 024。http://www.nag.co.uk/projects/FRISCO.html
[14] Gao，X.S.，Luo，Y.，2004年11月。差分多项式系统的特征集算法。In:国际Conf.Poly。系统。溶液。，巴黎，第24-26页；Gao，X.S.，Luo，Y.，2004年11月。差分多项式系统的特征集算法。In:国际Conf.Poly。系统。溶液。，巴黎，第24-26页
[15] 詹尼，P。；Trager，B。；Zacharias，G.，Gröbner基与多项式理想的主分解，J.符号计算。，6, 2-3, 149-167 (1988) ·兹比尔0667.13008
[16] Higham，N.J.，重心拉格朗日插值的数值稳定性，IMA J.Numer。分析。，24, 547-546 (2004) ·Zbl 1067.65016号
[17] Janovitz-Freireich，Itnuit；罗奈，拉霍斯；Sántó，A gnes，根簇理想的近似根，（ISSAC 06（2006），ACM出版社），146-153·Zbl 1356.68283号
[18] Kalkbrener，M.，计算代数簇三角表示的广义欧几里德算法，J.符号计算。，15, 143-167 (1993) ·Zbl 0783.14039号
[19] Lazard，D.，求解零维代数系统，符号计算。，13, 117-133 (1992) ·Zbl 0753.13012号
[20] Lecerf，G.，具有多重性系统的二次牛顿迭代，Found。计算。数学。，2, 247-293 (2002) ·兹比尔1030.65050
[21] Lemaire，F.，Moreno Maza，M.，Xie，Y.，2005年。这个；Lemaire，F.，Moreno Maza，M.，Xie，Y.，2005年。·Zbl 1114.68628号
[22] Leykin，A.，Verschelde，J.，Zhao，A.，2005年。牛顿法中雅可比矩阵的求值，并对多项式系统的孤立奇异解进行压缩。收录于：SNC 2005年会议记录，第19-28页；Leykin，A.，Verschelde，J.，Zhao，A.，2005年。牛顿法中雅可比矩阵的求值，并对多项式系统的孤立奇异解进行压缩。收录于：SNC 2005年会议记录，第19-28页·Zbl 1117.65074号
[23] Leykin，A.，Verschelde，J.，2004年。Phcmaple：phcpack中数值同伦算法的maple接口。摘自：ACA’04会议记录。美国德克萨斯大学博蒙特分校，第139-147页；Leykin，A.，Verschelde，J.，2004年。Phcmaple：phcpack中数值同伦算法的maple接口。摘自：ACA’04会议记录。美国德克萨斯大学博蒙特分校，第139-147页
[24] Moreno Maza，M.，2000年。关于代数簇的三角分解。技术报告4/99。英国NAG。In:MEGA-2000 Conference，Bath，UK。网址：http://www.csd.uwo.ca/莫雷诺；Moreno Maza，M.，2000年。关于代数簇的三角分解。技术报告4/99。英国NAG。In:MEGA-2000 Conference，Bath，UK。网址：http://www.csd.uwo.ca/莫雷诺
[25] 莫雷诺·马扎（Moreno Maza，M.）。；里德·G。；斯科特·R。；Wu，W.，关于近似线性化三角分解，（Wang，D.M.；Zhi，L.，符号-数值计算（2007），Birkhauser:Birkhause Basel，Boston），268-287
[26] Ritt，J.F.，《基于代数观点的微分方程》，第14卷（1932年），美国数学学会：美国数学学会纽约
[27] 埃利桑那州斯科斯特。，三角集的复杂性结果，J.符号计算。，36, 3-4, 555-594 (2003) ·Zbl 1074.68082号
[28] Shiryaev，A.N.，概率论（1995），施普林格·Zbl 0835.60002号
[29] Sommese，A.J。；Verschelde，J.，计算正维代数集上一般点的数值同伦，J.复杂性，16，3，572-602（2000）·兹伯利0982.65070
[30] Sommese，A.J。；Verschelde，J。；Wampler，C.W.，《多项式系统解集到不可约分量的数值分解》，SIAM J.Numer。分析。，2022-2046年6月38日（2001年）·Zbl 1002.65060号
[31] Sommese，A.J。；Wampler，C.W.，《多项式系统的数值解》（2005），《世界科学：世界科学新加坡》·Zbl 1091.65049号
[32] Stetter，Hans J.，具有给定零的最近多项式和类似问题，SIGSAM Bull。，33, 4, 2-4 (1999) ·Zbl 1097.65524号
[33] Stetter，Hans J.，《数值多项式代数》（2004），SIAM:SIAM Philadelphia·Zbl 1058.65054号
[34] 汉斯·斯泰特（Hans J.Stetter）。；Thallinger，Gunther H.，奇异多项式系统，（ISSAC’98（1998），ACM出版社），9-16·Zbl 0924.65042号
[35] 2000-2002年Symbolicdata项目。http://www.SymbolicData.org; 2000-2002年Symbolicdata项目。http://www.SymbolicData.org ·Zbl 0825.76256号
[36] Verschelde，J.，PHC-pack:同伦延拓多项式系统的通用求解器，ACM-Trans。数学。软件，25，2，251-276（1999）·Zbl 0961.65047号
[37] 范德瓦尔登，B.L.，《现代代数》（1953），弗雷德里克·恩加出版公司：弗雷德里克·恩加出版公司，纽约·Zbl 0033.10102号
[38] Wang，D.M.，消除方法（2000），Springer:Springer Wein，纽约
[39] Wu，W.T.，1987年。多项式方程求解的零结构定理。MM研究预印本1。第2-12页；Wu，W.T.，1987年。多项式方程求解的零结构定理。MM研究预印本1。第2-12页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。