乔纳森·霍恩斯坦。（编辑）;Andrew J.Sommese。（编辑） 前言。什么是数值代数几何？ （英语） Zbl 1360.00098号 J.塞姆。计算。 79，第3部分，499-507（2017）. 摘要：代数几何的基础是多项式方程组的求解。当将要考虑的方程定义在复数子域上时，可以使用数值方法来执行构成数值代数几何区域的代数几何计算。本文简要介绍了数值代数几何，并结合本期后续文章讨论了三个当前的研究主题：求解结构化系统、验证数值计算结果以及通过Macaulay对偶空间进行数值代数计算。 引用于6文件 MSC公司： 00B15号机组 杂项特定利益物品的收集 14-06 与代数几何有关的会议记录、会议、收藏等 65-06 与数值分析有关的会议记录、会议、收藏等 1999年第14季度 代数几何中的计算方面 65H10型 方程组解的数值计算 68瓦30 符号计算和代数计算 关键词：见证集;通用点;同伦延拓;级联同伦;不可约分量;多重性;数值代数几何;多项式系统;数值不可约分解;初级分解;代数集;代数簇;数字字段 软件：数字代数几何;PHC包;HOM4PS（主页4PS）;贝尔蒂尼;NAG4M2系列;alpha认证;霍姆4PS-3 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Hauenstein}（编辑）和textit{A.J.Sommese}（主编），J.Symb。计算。79，第3部分，499--507（2017；Zbl 1360.00098） 全文： DOI程序 参考文献： [1] 亚历山大，J.C。；Yorke，J.A.，同伦延拓方法：数值实现的拓扑过程，Trans。美国数学。《社会学杂志》，242271-284（1978）·Zbl 0424.58003号 [2] Allgower，E.L。；Georg，K.，《延续与路径跟随》，《数字学报》。，2，1-64（1993），剑桥大学出版社，剑桥·Zbl 0792.65034号 [3] Allgower，E.L。；Georg，K.，数值路径跟踪，（《数值分析手册》，第五卷（1997），北荷兰：北荷兰阿姆斯特丹），3-207 [4] Allgower，E.L。；Georg，K.，《数值连续方法导论》，课堂。申请。数学。，第45卷（2003），工业和应用数学学会（SIAM）：宾夕法尼亚州费城工业与应用数学学会，1990年版再版[Springer-Verlag，柏林]·Zbl 1036.65047号 [5] 贝茨，D.J。；Decker，W。；Hauenstein，J.D。；彼得森，C。；普菲斯特，G。；F.-O.Scheryer。；Sommese，A.J。；Wampler，C.W.，分析仿射代数簇组成部分的概率算法，应用。数学。计算。，231, 619-633 (2014) ·Zbl 1410.65205号 [6] 贝茨，D.J。；豪恩斯坦，J.D。；麦考伊，T.M。；彼得森，C。；Sommese，A.J.，《从代数几何中的不精确数值数据中恢复精确结果》，《数学实验》。，22, 38-50 (2013) ·Zbl 1284.14084号 [7] 贝茨，D.J。；Hauenstein，J.D。；彼得森，C。；Sommese，A.J.，多项式方程组解集上点的数值局部维数测试，SIAM J.Numer。分析。，47, 3608-3623 (2009) ·Zbl 1211.14066号 [8] 贝茨，D.J。；Hauenstein，J.D。；Sommese，A.J.，《平行终局》（《多项式方程求解中的随机化、松弛和复杂性》），《多项式方程解中的随随化、松弛与复杂性》，《当代数学》，第556卷（2011年），Amer。数学。Soc.：美国。数学。Soc.Providence，RI），25-35岁·Zbl 1238.14007号 [9] 贝茨，D.J。；Hauenstein，J.D。；Sommese，A.J。；Wampler，C.W.，自适应多精度路径跟踪，SIAM J.Numer。分析。，46, 722-746 (2008) ·Zbl 1162.65026号 [10] 贝茨，D.J。；Hauenstein，J.D。；Sommese，A.J。；Wampler，C.W.，《用Bertini数值求解多项式系统》，《软件环境》。工具，第25卷（2013年），工业和应用数学学会·Zbl 1295.65057号 [11] 贝茨，D.J。；Newell，A.J。；Niemerg，M.E.，解耦高结构多项式系统，J.Symb。计算。，79，508-515（2017），本期·Zbl 1360.13064号 [12] 医学博士Beltrametti。；Sommese，A.J.，《复杂射影变化的伴随理论》，德格鲁伊特实验数学。，第16卷（1995），Walter de Gruyter&Co.：Walter de Gluyter＆Co.Berlin·Zbl 0845.14003号 [13] 贝尔特兰，C。；Leykin，A.，认证数字同伦跟踪，Exp.Math。，21, 69-83 (2012) ·Zbl 1238.14048号 [14] 贝尔特兰，C。；Leykin，A.，Robust认证的数字同伦跟踪，Found。计算。数学。，13, 253-295 (2013) ·Zbl 1267.14075号 [15] 贝尔特兰，C。；Pardo，L.M.，《关于Smale的第17个问题：发现的概率正解》。计算。数学。，8, 1-43 (2008) ·Zbl 1153.65048号 [16] 贝萨纳，G.M。；Di Rocco，S。；Hauenstein，J.D。；Sommese，A.J。；Wampler，C.W.，几乎光滑实代数曲面的单元分解，数值。算法，1-34（2012） [17] 布鲁姆。；Cucker，F。；舒布，M。；Smale，S.，《复杂性与实际计算》（1998），《Springer-Verlag:Springer-Verlag纽约》，附理查德·卡普（Richard M.Karp）的前言 [18] 制动器，D.A。；Hauenstein，J.D。；Sommese，A.J.，《数值局部不可约分解》（Lect.Notes Compute.Sci.，第9582卷（2016）），124-129·Zbl 1460.14131号 [19] Bürgisser，P。；《关于数学安·史蒂夫·斯梅尔（Steve Smale）提出的一个问题》（Cucker，F.）。(2), 174, 1785-1836 (2011) ·Zbl 1248.65047号 [20] Chen，T。；Lee，T.-L。；Li，T.-Y.，Hom4PS-3：基于多面体同伦延拓方法的多项式方程组的并行数值解算器，（数学软件-ICMS 2014:第四届国际会议，会议记录。数学软件-ICMS 2014:第4届国际会议记录，韩国首尔，2014年8月5-9日（2014），施普林格柏林-海德堡：施普林格-柏林-海德堡-柏林，海德堡），183-190年·Zbl 1434.65065号 [21] Chen，T。；Lee，T.-L。；Li，T.-Y.，《Hom4PS-3中的混合单元计算》，J.Symb。计算。，79，516-534（2017），本期·Zbl 1365.13047号 [22] Chen，T。；Mehta，D.，二项式系统的并行度计算，J.Symb。计算。，79，535-558（2017），本期·兹比尔1357.65063 [23] Chow，S.N。；Mallet-Paret，J。；Yorke，J.A.，《定位多项式系统所有零点的同伦方法》，（《泛函微分方程和不动点的近似》，《程序暑期学校和Conf.泛函微分方程式和不动点近似》，波恩大学暑期学校与Conf.，1978年。泛函微分方程与不动点逼近。程序。夏令营和Conf.泛函微分方程和不动点逼近。程序。波恩大学暑期学校和孔子学院，波恩，1978年，Lect。数学笔记。，第730卷（1979），《施普林格：柏林施普林格》，77-88·Zbl 0427.65034号 [24] 新南威尔士州达利奥。；Hauenstein，J.D.，《数值决定射影方案的Cohen-Macaulay算术性》，J.Symb。计算。，72, 128-146 (2016) ·Zbl 1329.14108号 [25] 新南威尔士州达利奥。；Hauenstein，J.D.，《算术Gorenstein特性的数值测试一般简化投影方案》（Lect.Notes Compute.Sci.，第9582卷（2016）），137-142·Zbl 1460.14106号 [26] Dayton，B.H。；Zeng，Z.，求解多项式系统中的多重性结构的计算，（国际社会科学院刊2005（2005），ACM:ACM纽约），116-123·Zbl 1360.65151号 [27] del Campo，A.M。；Rodriguez，J.I.，《通过单值函数和局部方法的临界点》，J.Symb。计算。，79，559-574（2017），本期·Zbl 1365.14003号 [28] 屋檐，公元前。；Scarf，H.W.，分段线性方程组的求解，数学。操作。研究，1，1-27（1976）·Zbl 0458.65056号 [29] 加利戈，A。；Rupprecht，D.，《曲线的不可约分解》，《计算机代数》，伦敦，ON，2001年。计算机代数，伦敦，ON，2001，J.Symb。计算。，33, 661-677 (2002) ·Zbl 1011.14018号 [30] 加西亚，哥伦比亚特区。；Zangwill，W.I.，《寻找多项式系统和其他方程组的所有解》，数学。程序。，16, 159-176 (1979) ·Zbl 0409.65026号 [31] Giusti，M。；Lecerf，G。；Salvy，B。；Yakoubsohn，J.-C.，《关于零簇的位置和近似：嵌入维1的情况》，Found。计算。数学。，7, 1-49 (2007) ·Zbl 1124.65047号 [32] Giusti，M。；Yakoubsohn，J.-C.，多项式系统的多重性搜索和逼近多重根，（Real Complexity and Computation的最新进展，Real Completion and Computations的最新发展，Contemp.Math.，vol.604（2013），Amer。数学。Soc.：美国。数学。佛罗里达州普罗维登斯市），105-128·Zbl 1320.13034号 [33] Hauenstein，J.D。；海伍德，I。；Liddell，A.C.，《牛顿同伦的后验证明算法》，（ISSAC 2014-第39届符号与代数计算国际研讨会（2014）进展，ACM:ACM纽约），248-255·Zbl 1325.65074号 [34] Hauenstein，J.D。；Levandovskyy，V.，多项式指数方程平方系的证明解，J.Symb。计算。，79，575-593（2017），本期·Zbl 1357.14071号 [35] Hauenstein，J.D。；Liddell，A.C.，《一般零维系统例外集的混合符号-数字方法》，（2015年并行符号计算国际研讨会论文集。2015年并行象征计算国际研讨会文献集，PASCO’15（2015），ACM：美国纽约州纽约市ACM），53-60 [36] Hauenstein，J.D。；Liddell，A.C.，Newton homopies的认证预测校正器跟踪，J.Symb。计算。，74, 239-254 (2016) ·Zbl 1329.65110号 [37] Hauenstein，J.D。；穆兰，B。；Szanto，A.，《证明孤立奇点及其多重性结构》，（ISSAC’15-2015 ACM符号和代数计算国际研讨会论文集（2015），ACM:ACM纽约），213-220·Zbl 1345.68286号 [38] Hauenstein，J.D。；Rodriguez，J.I.，《多投影变量的数值不可约分解》（2015） [39] Hauenstein，J.D。；Sommese，A.J.，《见证投影集》，应用。数学。计算。，217, 3349-3354 (2010) ·Zbl 1203.14072号 [40] Hauenstein，J.D。；Sommese，A.J。；Wampler，C.W.，求解多项式系统的再生同伦，数学。计算。，80, 345-377 (2011) ·Zbl 1221.65121号 [41] Hauenstein，J.D。；Sommese，A.J。；Wampler，C.W.，求解多项式系统的再生级联同伦，应用。数学。计算。，218, 1240-1246 (2011) ·Zbl 1231.65190号 [42] Hauenstein，J.D。；Sottile，F.，算法921:alphaCertified:验证多项式系统的解决方案，ACM Trans。数学。软质。，38, 28 (2012) ·Zbl 1365.65148号 [43] Hauenstein，J.D。；Wampler，C.W.，《等奇异集与通缩》，Found。计算。数学。，13, 371-403 (2013) ·Zbl 1276.65029号 [44] Hauenstein，J.D。；Wampler，C.W.，《通过见证集的数值交叉代数簇》，应用。数学。计算。，219, 5730-5742 (2013) ·Zbl 1295.14054号 [45] 海因，N。；Sottile，F.，可证明舒伯特微积分的提升平方公式，J.Symb。计算。，79，594-608（2017），本期·Zbl 1356.14043号 [46] Hirsch，M.W.，细胞在其边界上不可伸缩性的证明，Proc。美国数学。《社会学杂志》，第14期，第364-365页（1963年）·Zbl 0113.16704号 [47] Huber，B。；Sturmfels，B.，求解稀疏多项式系统的多面体方法，数学。计算。，64, 1541-1555 (1995) ·Zbl 0849.65030号 [48] Huber，B。；Sturmfels，B.，仿射空间中的伯恩斯坦定理，离散计算。地理。，17, 137-141 (1997) ·Zbl 0891.65055号 [49] Huber，B。；Verschelde，J.，多项式延拓的多面体结束游戏，数值。算法，18，91-108（1998）·Zbl 0933.65057号 [50] Keller，H.B.，分岔和非线性特征值问题的数值解，（分岔理论的应用。分岔理论应用，威斯康星州麦迪逊大学高级课程，1976年）。分支理论的应用。分歧理论的应用，Proc。威斯康星州麦迪逊市威斯康星大学高级学期，1976年出版。数学。研究中心，第38卷（1977年），学术出版社：纽约学术出版社，359-384·Zbl 0581.65043号 [51] Krone，R。；Leykin，A.，《消除双重空间》，J.Symb。计算。，79，609-622（2017），本期·兹伯利1359.14052 [52] Kuhn，H.W.，不动点的单纯形逼近，Proc。国家。阿卡德。科学。美国，611238-1242（1968）·Zbl 0191.54904号 [53] Lecerf，G.，多重系统的二次牛顿迭代，Found。计算。数学。，2, 247-293 (2002) ·Zbl 1030.65050号 [54] Lee，T.-L。；Li，T.Y。；Tsai，C.H.，HOM4PS-2.0：用多面体同伦延拓法求解多项式系统的软件包，《计算》，83，109-133（2008）·Zbl 1167.65366号 [55] Leykin，A.，《macaulay2的数值代数几何》，J.Softw。阿尔盖布。地理。，3, 5-10 (2011) ·Zbl 1311.14057号 [56] 莱金，A。；Sottile，F.，通过同伦延拓的舒伯特问题的Galois群，数学。计算。，78, 1749-1765 (2009) ·Zbl 1210.14064号 [57] 莱金，A。；Verschelde，J。；赵，A.，多项式系统孤立奇点的带通缩的牛顿方法，Theor。计算。科学。，359, 111-122 (2006) ·兹比尔1106.65046 [58] 莱金，A。；Verschelde，J。；Zhao，A.，具有孤立奇异解的多项式系统的高阶通缩，（Dickenstein，A.；Schreyer，F.-O.；Sommese，A.J.，《代数几何中的算法》（2008），Springer:Springer New York），79-97·Zbl 1138.65038号 [59] 李，N。；Zhi，L.，计算多项式系统的孤立奇异解：宽度一的情况，SIAM J.Numer。分析。，50, 354-372 (2012) ·Zbl 1247.65065号 [60] Li，T.Y.，用同伦延拓方法求解多元多项式系统，Acta Numer。，6，399-436（1997），剑桥大学出版社，剑桥·Zbl 0886.65054号 [61] Li，T.Y.，用同伦延拓法求解多项式系统的数值解，（数值分析手册，第十一卷（2003），北荷兰人：北荷兰阿姆斯特丹），209-304·Zbl 1059.65046号 [62] 卢，Y。；贝茨，D.J。；Sommese，A.J。；Wampler，C.W.，《寻找复杂曲线的所有实点》（《中西部代数、几何及其交互会议论文集》，《中西部代数，几何及其交互大会论文集》（Proceedings of the Midwest Algebra，Geometry and Its Interactions Conference，Contemp.Math.，vol.448（2007），AMS），183-205·Zbl 1136.65050号 [63] Mantzaflaris，A。；Mourrain，B.，多项式系统奇异零点的收缩和认证隔离，（ISSAC 2011-第36届符号和代数计算国际研讨会（2011）进展，ACM:ACM纽约），249-256·Zbl 1323.65054号 [64] Morgan，A.P.，《利用工程和科学问题的连续性解决多项式系统》（1987），普伦蒂斯·霍尔公司：普伦蒂斯霍尔公司，新泽西州恩格尔伍德克利夫斯·Zbl 0733.65031号 [65] 摩根会计师事务所。；Sommese，A.J。；Wampler，C.W.，计算非线性分析系统的奇异解，Numer。数学。，58, 669-684 (1991) ·Zbl 0721.65027号 [66] 摩根会计师事务所。；Sommese，A.J。；Wampler，C.W.，计算多项式系统的奇异解，Adv.Appl。数学。，13, 305-327 (1992) ·Zbl 0764.65030号 [67] 摩根会计师事务所。；Sommese，A.J。；Wampler，C.W.，计算非线性分析系统奇异解的幂级数方法，数值。数学。，63, 391-409 (1992) ·Zbl 0756.65079号 [68] Ojika，T.，解决奇异问题的改进通缩算法。非线性代数方程组，J.Math。分析。申请。，123, 199-221 (1987) ·Zbl 0625.65043号 [69] 奥吉卡，T。；渡边，S。；Mitsui，T.，非线性方程组多重根的通缩算法，J.Math。分析。申请。，96, 463-479 (1983) ·Zbl 0525.65027号 [70] Rheinboldt，W.C.，有限元应用的数值延拓方法，（有限元分析中的公式和计算算法。有限元分析的公式和算法，美国-德国交响乐团，马萨诸塞州剑桥市马萨诸塞州立理工学院，1976年（1977年），麻省理工出版社：麻省剑桥市麻省理工学出版社），599-631 [71] Rupprecht，D.，整数系数多项式的半数值绝对因式分解，J.Symb。计算。，37, 557-574 (2004) ·Zbl 1137.13314号 [72] Scarf，H.W.，连续映射不动点的近似，SIAM J.Appl。数学。，15, 1328-1343 (1967) ·Zbl 0153.49401号 [73] 舒布，M。；Smale，S.，《关于求解多项式方程的平均成本》，（几何动力学，几何动力学，里约热内卢，1981年）。几何动力学。《几何动力学》，里约热内卢，1981年，Lect。数学笔记。，第1007卷（1983年），《施普林格：柏林施普林格》，719-724·Zbl 0529.41008号 [74] 舒布，M。；Smale，S.，贝佐特定理的复杂性。I.几何方面，《美国数学杂志》。Soc.，6459-501（1993年）·Zbl 0821.65035号 [75] 舒布，M。；Smale，S.，贝佐特定理的复杂性。二、。体积与概率，（计算代数几何，计算代数几何，尼斯，1992。计算代数几何。计算代数几何，尼斯，1992年，Prog。数学。，第109卷（1993年），Birkhä用户波士顿：Birkhá用户波士顿，马萨诸塞州），267-285·Zbl 0851.65031号 [76] 舒布，M。；Smale，S.，贝佐特定理的复杂性。三、 条件编号和包装，J.Complex。，9，4-14（1993），约瑟夫·特劳布的《费斯特施里夫》，第一部分·Zbl 0846.65018号 [77] 舒布，M。；Smale，S.，贝佐特定理的复杂性。V.多项式时间，（连续算法和复杂性研讨会论文集。连续算法和复杂度研讨会论文集，巴塞罗那，1993年。连续算法与复杂性研讨会论文选集。连续算法和复杂性研讨会论文集，巴塞罗那，1993年，Theor。计算。科学。，第133卷（1994）），第141-164页·Zbl 0846.65022号 [78] 舒布，M。；Smale，S.，贝佐特定理的复杂性。四、 成功概率；扩展，SIAM J.Numer。分析。，33, 128-148 (1996) ·Zbl 0843.65035号 [79] Sommese，A.J。；Verschelde，J.，计算正维代数集上一般点的数值同伦，J.Complex。，16, 572-602 (2000) ·Zbl 0982.65070号 [80] Sommese，A.J。；Verschelde，J。；Wampler，C.W.，《多项式系统解集到不可约分量的数值分解》，SIAM J.Numer。分析。，38, 2022-2046 (2001) ·Zbl 1002.65060号 [81] Sommese，A.J。；Verschelde，J。；Wampler，C.W.，《使用单值性将多项式系统的解集分解为不可约分量》，（代数几何在编码理论、物理和计算中的应用。代数几何在代码理论、物理与计算中的运用，埃拉特，2001年。代数几何在编码理论、物理和计算中的应用。《代数几何在编码理论、物理和计算中的应用》，埃拉特，2001年，《北约科学》。序列号。II数学。物理学。化学。，第36卷（2001年），Kluwer Acad。出版物：Kluwer学院。出版物。多德雷赫特），297-315·兹比尔0990.65051 [82] Sommese，A.J。；Verschelde，J。；Wampler，C.W.，《一种跟踪奇异路径的方法及其在数值不可约分解中的应用》，（《代数几何》（2002），德格鲁伊特：德格鲁伊特-柏林），329-345·Zbl 1014.65035号 [83] Sommese，A.J。；Verschelde，J。；Wampler，C.W.，《用于分解多项式系统解集的对称函数》，SIAM J.Numer。分析。，40, 2026-2046 (2002) ·Zbl 1034.65034号 [84] Sommese，A.J。；Verschelde，J。；Wampler，C.W.，多项式系统相交解分量的同伦，SIAM J.Numer。分析。，42, 1552-1571 (2004) ·Zbl 1108.13308号 [85] Sommese，A.J。；Verschelde，J。；Wampler，C.W.，交叉代数簇的内在同伦，J.Complex。，21, 593-608 (2005) ·Zbl 1108.13309号 [86] Sommese，A.J。；Verschelde，J。；Wampler，C.W.，《用方程求解多项式系统方程》，（代数几何中的算法。代数几何学中的算法，IMA卷数学应用，第146卷（2008），Springer:Springer New York），133-152·Zbl 1136.65052号 [87] Sommese，A.J。；Wampler，C.W.，《数值代数几何》（The Mathematics of Numerical Analysis），《数值分析数学》，犹他州帕克城，1995年。数值分析数学。《数值分析数学》，犹他州帕克城，1995年，莱克托。申请。数学。，第32卷（1996年），美国。数学。Soc.：美国。数学。佛罗里达州普罗维登斯Soc.Providence），749-763·Zbl 0856.65054号 [88] Sommese，A.J。；Wampler，C.W.，《工程与科学中多项式系统的数值解》（2005），《世界科学：世界科学新加坡》·Zbl 1091.65049号 [89] Sommese，A.J。；Wampler，C.W.，《特殊套装和纤维产品》，Found。计算。数学。，28, 171-196 (2008) ·Zbl 1151.14041号 [90] Verschelde，J.，算法795:PHCpack:同伦延拓多项式系统的通用求解器，ACM-Trans。数学。软质。，25, 251-276 (1999) ·Zbl 0961.65047号 [91] Verschelde，J。；Verlinden，P。；Cools，R.，利用牛顿多面体求解稀疏多项式系统的同伦，SIAM J.Numer。分析。，31, 915-930 (1994) ·Zbl 0809.65048号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。