塞萨尔·马斯里 使用线性代数求解稀疏系统。 （英语） Zbl 1322.14077号 J.塞姆。计算。 73157-174（2015年）. 小结：我们提供了一种新的理论工具来求解具有有限多个解的稀疏系统。它基于复曲面簇和基本线性代数；特征值、特征向量和系数矩阵。我们采用特征值定理和特征向量定理来处理正则矩形矩阵（第一个Koszul映射），并证明这些新定理用于求解超定稀疏系统和计算期望的解数。 引用于三文件 MSC公司： 14米25 托里变体、牛顿多面体、奥昆科夫体 第13页第15页 求解多项式系统；结果 2013年02月 Syzygies、分解、复数和交换环 14个M12 决定性品种 15甲18 特征值、奇异值和特征向量 关键词：乘法矩阵;特征向量;稀疏系统;复曲面品种 软件：隔离 PDF格式BibTeX公司 XML格式引用 \textit{C.Massri}，J.Symb。计算。73、157--174（2016年；Zbl 1322.14077） 全文： 内政部 arXiv公司 参考文献： [1] Apostol，T.M.，《数学分析》（1974年），Addison-Wesley出版社：Addison-Whesley出版社，马萨诸塞州雷丁，伦敦，Don Mills，Ont·Zbl 0126.28202号 [2] Auzinger，W。；Stetter，H.J.，《计算多元多项式方程组所有零点的消去算法》（数值数学，数值数学，新加坡，1988年）。数值数学。《数值数学》，新加坡，1988年，国际。Schriftenreihe数字。数学。，第86卷（1988年），Birkhä用户：Birkhá用户巴塞尔），11-30·Zbl 0658.65047号 [3] Bernstein，D.N.，方程组的根数，Funkc。分析。普里洛日。，9, 3, 1-4 (1975) [4] Bondyfalat，D。；穆兰，B。；Pan，V.Y.，使用特征向量计算多项式方程组的指定根，线性代数应用。，193-209年3月19日（2000年）·Zbl 0973.65038号 [5] Canny，J.，《广义特征多项式》，J.Symb。计算。，9, 3, 241-250 (1990) ·Zbl 0704.12004号 [6] 坎尼，J。；Emiris，I.，《稀疏混合结式的一种有效算法》（Applied Algebra，Algebraic Algorithms and Error-Correcting Codes），《应用代数，代数算法和纠错码》，圣胡安，PR，1993年。应用代数、代数算法和纠错码。《应用代数、代数算法和纠错码》，圣胡安，公共关系，1993年，《计算讲义》。科学。，第673卷（1993年），《施普林格：柏林施普林格》，第89-104页·Zbl 0789.65034号 [7] 坎尼，J.F。；Emiris，I.Z.，基于细分的稀疏结果算法，J.ACM，47，3，417-451（2000）·Zbl 1094.65508号 [8] Corless，R.M。；詹尼，P.M。；Trager，B.M.，《具有多个根的零维多项式系统的重排序Schur因式分解方法》，（1997年符号与代数计算国际研讨会论文集。1997年符号和代数计算国际会议论文集，基黑，HI（1997），ACM:ACM纽约），133-140，（电子版） ·Zbl 0917.65048号 [9] 考克斯，D.A。；Little，J.B。；Schenck，H.K.，Toric Varieties，数学研究生课程，第124卷（2011），美国数学学会：美国数学学会普罗维登斯，RI·Zbl 1223.14001号 [10] Daney，D。；Emiris，I.Z.，《利用部分信息进行鲁棒并联机器人校准》（Robotics and Automation，2001）。诉讼程序。机器人与自动化，2001年。2001年ICRA会议记录。机器人与自动化，2001年。诉讼程序。机器人与自动化，2001年。会议记录，2001年ICRA，IEEE国际会议，第4卷（2001年），3262-3267 [11] De Loera，J.A.，《计算多面体中格点的许多方面》，《数学》。塞梅斯特伯尔。，52, 2, 175-195 (2005) ·Zbl 1093.52006年 [12] 狄更斯坦，A。；Emiris，I.Z.，《复数的多重齐次结果公式》，符号和代数计算国际研讨会。符号和代数计算国际研讨会，ISSAC’2002，里尔。符号和代数计算国际研讨会。符号和代数计算国际研讨会，ISSAC’2002，Lille，J.Symb。计算。，36，3-4，317-342（2003年）·Zbl 1095.13547号 [13] （Dickenstein，A.；Emiris，I.Z.，《求解多项式方程。基础、算法和应用。求解多项式方程》，《基础、算法与应用，数学中的算法和计算》，第14卷（2005年），Springer-Verlag:Springer-Verlag Berlin）·Zbl 1061.12001号 [14] 埃尔卡迪，M。；Mourrain，B.，《多项式系统解决方案简介》，《数学与应用》（柏林），第59卷（2007年），《施普林格：施普林格柏林》·Zbl 1127.13001号 [15] Emiris，I.Z.，《稀疏消除及其在运动学中的应用》（1994），加州大学伯克利分校，博士论文 [16] Emiris，I.Z.，《关于稀疏消去的复杂性》，J.Complex。，12, 2, 134-166 (1996) ·Zbl 0935.12008号 [17] Emiris，I.Z.，《基于稀疏结果的通用求解器：数值问题和运动学应用》（1997年1月），技术代表RR-3110，INRIA [18] Emiris，I.Z.，求解代数系统的矩阵方法，（符号代数方法和验证方法。符号代数方法和验证方法，Dagstuhl，1999（2001），施普林格：施普林格维也纳），69-78·Zbl 0983.65064号 [19] 埃米利斯，I.Z。；Canny，J.F.，《稀疏结果和混合体积的高效增量算法》，J.Symb。计算。，20, 2, 117-149 (1995) ·Zbl 0843.68036号 [20] 埃米利斯，I.Z。；Mourrain，B.，《研究和计算分子构象的计算机代数方法》，《算法》，25，2-3，372-402（1999） [21] 埃米利斯，I.Z。；Mourrain，B.，消除理论中的矩阵，多项式消除算法和应用。多项式消除算法与应用，J.Symb。计算。，28, 1-2, 3-44 (1999) ·Zbl 0943.13005号 [22] 埃米利斯，I.Z。；Rege，A.，单项式基和多项式系统求解（扩展摘要），（符号和代数计算国际研讨会论文集。符号和代数运算国际研讨会论文，ISSAC’94（1994），ACM:美国纽约州纽约市ACM），114-122·Zbl 0917.13008号 [23] Fulton，W.，《托利函数多样性导论》，《数学研究年鉴》，第131卷（1993），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿，William H.Roever几何讲座·Zbl 0813.14039号 [24] 盖尔费德，I.M。；卡普兰诺夫，M.M。；Zelevinsky，A.V.，《判别、结果和多维决定因素》，《数学：理论与应用》（1994），Birkhäuser Boston Inc.：Birkháuser波士顿Inc.，马萨诸塞州波士顿·Zbl 0827.14036号 [25] 格雷亚特，S。；Trébuchet，P.，计算零维系统根的认证数值近似的新算法，（ISSAC 2009符号和代数计算国际研讨会论文集（2009），ACM:ACM纽约），167-173·Zbl 1237.65046号 [26] 哈夫纳，J.L。；McCurley，K.S.，环上矩阵的渐近快速三角化，SIAM J.Comput。，20, 6, 1068-1083 (1991) ·兹比尔0738.68050 [27] Hartshorne，R.，代数几何，数学研究生教材，第52卷（1977年），Springer-Verlag:Springer-Verlag纽约·Zbl 0367.14001号 [28] Helmberg，G。；瓦格纳，P。；Veltkamp，G.，关于计算矩阵和特征向量特征多项式的Faddeev-Leverier方法，线性代数应用。，185, 219-233 (1993) ·Zbl 0770.65023号 [29] Jouanolou，J.-P.，Le formalisme duésultant，高级数学。，90, 2, 117-263 (1991) ·Zbl 0747.13007号 [30] 卡普兰诺夫，M.M。；Sturmfels，B。；泽列文斯基，A.V.，Chow多面体和一般结果，杜克数学。J.，67，1，189-218（1992）·Zbl 0780.14027号 [31] Lazard，D.，《系统方程解》，Theor。计算。科学。，15, 1, 77-110 (1981) ·Zbl 0459.68013号 [32] Lim，L.-H.，张量的奇异值和特征值：变分方法，（多传感器自适应处理的计算进展，2005年第一届IEEE国际研讨会（2005年12月）），129-132 [33] Macaulay，F.S.，《消除中的一些公式》，Proc。伦敦。数学。社会学，S1-35，1，3（1902） [34] Massri，C.，求球面乘积上多重线性映射最大值的算法，J.近似理论，166，19-41（2013）·Zbl 1267.65067号 [35] Mayer，G.，特征向量和特征值的结果验证，（验证计算主题。验证计算主题，奥尔登堡，1993年。验证计算中的主题。验证计算主题，奥尔登堡，1993，Stud.Comput。数学。，第5卷（1994年），《北荷兰：北荷兰阿姆斯特丹》，209-276·Zbl 0813.65077号 [36] McNamee，J.M.，《多项式根补充书目的2002年更新》，J.Compute。申请。数学。，142, 2, 433-434 (2002) ·Zbl 1002.65056号 [37] Möller，H.M。；Stetter，H.J.，矩阵特征值问题求解的多零点多元多项式方程，数值。数学。，70, 3, 311-329 (1995) ·Zbl 0851.65029号 [38] 摩根，A。；Sommese，A.，使用同伦延拓计算多项式系统的所有解，应用。数学。计算。，24, 2, 115-138 (1987) ·Zbl 0635.65058号 [39] Mourrain，B.，平行机器人的40个“通用”位置，（1993年符号和代数计算国际研讨会论文集。1993年符号和代数计算国际研讨会论文集，ISSAC'93（1993），ACM:ACM纽约，美国纽约），173-182·Zbl 0925.70047号 [40] Mourrain，B.，《用矩阵方法计算孤立根》，《多项式的符号数字代数》。多项式的符号数字代数，J.Symb。计算。，26, 6, 715-738 (1998) ·Zbl 0934.68136号 [41] Mourrain，B.，《求解多项式方程的代数方法导论》，（构造代数和系统理论。构造代数与系统理论，Verh.Afd.Natuurkd.1。里克斯。K.内德.阿卡德。潮湿。R.内特。学院。，第53卷（2006），艺术科学：阿姆斯特丹艺术科学），49-94 [42] 穆兰，B。；Pan，V.Y.，多元多项式，对偶和结构化矩阵，实计算和复杂性。真实计算与复杂性，Schloss Dagstuhl，1998年。真实计算和复杂性。真实计算与复杂性，Schloss Dagstuhl，1998，J.Complex。，16, 1, 110-180 (2000) ·Zbl 0963.68232号 [43] Oishi，S.，通过舍入模式控制计算快速封闭矩阵特征值和奇异值，自验证方法中的线性代数（特刊）。自验证方法中的线性代数（特刊），线性代数应用。，324, 1-3, 133-146 (2001) ·Zbl 0978.65026号 [44] Ozaki，K。；Ogita，T。；臀部，S.M。；Oishi，S.，浮点区间矩阵乘法的快速算法，J.Compute。申请。数学。，236, 7, 1795-1814 (2012) ·Zbl 1248.65044号 [45] 佩德森，P。；Sturmfels，B.，结果和Chow形式的乘积公式，数学。Z.，214，3，377-396（1993）·Zbl 0792.13006号 [46] 罗利尔，F。；Zimmermann，P.，多项式实根的有效分离，（《线性代数和算术国际会议论文集》，《线性代数与算术国际会议文献集》，拉巴特，2001年，第162卷（2004）），33-50·Zbl 1040.65041号 [47] Rump，S.M.，《快速并行区间算法》，BIT，39，3，534-554（1999）·兹伯利0942.65048 [48] Rump，S.M.，多个或几乎多个特征值的计算误差界，自验证方法中的线性代数（特刊）。自验证方法中的线性代数（特刊），线性代数应用。，324, 1-3, 209-226 (2001) ·兹伯利0986.65031 [49] 臀部，S.M。；Zemke，J.-P.M.，《关于特征向量界》，BIT，43，4，823-837（2003）·Zbl 1042.65029号 [50] Sombra，M.，《稀疏有效的Nullstellensatz》，Adv.Appl。数学。，22, 2, 271-295 (1999) ·Zbl 0933.14001号 [51] Yamamoto，T.，计算出的特征值和特征向量的误差界。二、 数字。数学。，40, 2, 201-206 (1982) ·Zbl 0491.65021号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。