×
吉安·马里奥·贝萨纳;桑德拉·迪·罗科;乔纳森·霍恩斯坦。;Andrew J.Sommese。;查尔斯·沃姆勒（Charles W.Wampler）。

几乎光滑实代数曲面的单元分解。 （英语） Zbl 1271.65031号

数字。算法 63，第4期，645-678（2013）.
小结：设（Z）是复变量中具有实数系数的多项式方程组解集的二维不可约复分量。本文提出了一种基于同伦延拓方法的新的数值算法，该算法从（Z）的数值见证集开始，将包含在（Z）中的任何几乎光滑的实代数曲面分解为2个单元。每个2单元（面）都有一个通用的内部点和一个由1单元（边）组成的边界。类似地，1单元有一个通用的内部点，并且在每一端都有一个顶点。每个1单元和每个2单元都有一个关联的同伦，用于将一般内部点移动到单元内部的任何其他点，从而定义从同伦的参数空间到单元的可逆映射。这项工作借鉴了曲线案例的先前结果。一旦掌握了单元分解，就可以对2个单元和1个单元进行任何分辨率的采样，仅受可用计算资源的限制。

引用于13文件

MSC公司：

65D17号 计算机辅助设计（曲线和曲面建模）
2010年第14季度 代数曲面的计算方面
65H20个 全局方法，包括非线性方程数值解的同伦方法

关键词：

代数曲面;代数曲线;细胞分解;数值代数几何;同伦;多项式系统;数值示例

软件：

贝尔蒂尼;PHC包;HOM4PS（主页4PS）
PDF格式BibTeX公司 XML格式引用
\textit{G.M.Besana}等人，数字。算法63，No.4，645--678（2013；Zbl 1271.65031）
全文： DOI程序

参考文献：

[1] Alberti，L.，Mourrain，B.：代数曲线和曲面拓扑的正则性标准。In:《曲面数学XII》，LNCS，第4647卷，第1-28页（2007）·Zbl 1163.68342号
[2] Alberti，L.，Mourrain，B.，Técourt，J.P.：真实代数曲面的同位素三角剖分。J.塞姆。计算。44(9), 1291-1310 (2009) ·兹比尔1173.14344 ·doi:10.1016/j.jsc.20082.007
[3] Andreotti，A.，Frankel，T.：超平面截面上的Lefschetz定理。安。数学。69(2), 713-717 (1959) ·Zbl 0115.38405号 ·数字对象标识代码：10.2307/1970034
[4] Arnon，D.S.，Collins，G.E.，McCallum，S.：三维空间柱面代数分解的邻接算法。J.塞姆。计算。5(1-2), 163-187 (1988) ·Zbl 0648.68055号 ·doi:10.1016/S0747-7171（88）80011-7
[5] Basu，S.，Pollack，R.，Roy，M.F.：《实代数几何中的算法》，第10卷。数学算法与计算，第2版。柏林施普林格出版社（2006）·Zbl 1102.14041号
[6] Bates，D.J.，Hauenstein，J.D.，Peterson，C.，Sommese，A.J.：多项式方程组解集上点的数值局部维数测试。SIAM J.数字。分析。47, 3608-3623 (2009) ·Zbl 1211.14066号 ·数字对象标识码：10.1137/08073264X
[7] Bates，D.J.、Hauenstein，J.D.、Sommese，A.J.、Wampler，C.W.：贝尔蒂尼：数值代数几何软件。可在网址：http://www.nd.edu/索马里/贝蒂尼（2012）。2012年9月17日访问·Zbl 1002.65060号
[8] Berberich，E.，Emeliyanenko，P.，Kobel，A.，Sagraloff，M.：平面代数曲线的精确符号数字计算。预印本。arXiv:1201.1548（2012）·Zbl 1277.68300号
[9] Berberich，E.，Kerber，M.，Sagraloff，M.：代数曲面分层和三角剖分的有效算法。计算。地理。43（3），257-278（2010）·Zbl 1203.65037号 ·doi:10.1016/j.comgeo.2009.01.009
[10] Boissonnat，J.D.，Cohen-Steiner，D.，Vegter，G.：同位素隐式表面网格。离散计算。地理。39(1), 138-157 (2008) ·Zbl 1170.65012号 ·doi:10.1007/s00454-007-9011-4
[11] Cheng，J.S.，Gao，X.S.，Li，M.：确定实代数曲面的拓扑。In:《曲面数学XI》，LNCS，第3604卷，第121-146页（2005）·Zbl 1141.68628号
[12] Collins，G.E.：通过圆柱形代数分解对实闭域进行量化消去。斯普林格莱克特。注释计算。科学。33515-532（1975年）
[13] Drexler，F.J.：《多药系统学方法》（Eine Methode zur Berechnung sämtlicher Lösungen von Polynomgleichungsssystemen）。数字。数学。29(1), 45-58 (1977) ·Zbl 0352.65023号 ·doi:10.1007/BF01389312
[14] 福图纳，E。；詹尼，P。；父母，P。；Traverso，C.，计算实代数曲面的拓扑，92-100（2002），纽约·Zbl 1072.68666号 ·数字对象标识代码：10.1145/780506.780518
[15] Garcia，C.B.，Zangwill，W.I.：寻找多项式系统和其他方程组的所有解。数学。程序。16(2), 159-176, (1979) ·Zbl 0409.65026号 ·doi:10.1007/BF01582106
[16] 戈雷斯基，M。；麦克弗森，R.，《分层莫尔斯理论》（1988），柏林·Zbl 0639.14012号
[17] Hauenstein，J.D.，Sommese，A.J.，Wampler，C.W.：求解多项式系统的再生同伦。数学。计算。80, 345-377 (2011) ·Zbl 1221.65121号
[18] Hauenstein，J.D.，Sommese，A.J.，Wampler，C.W.：求解多项式系统的再生级联同伦。应用数学。计算。218(4), 1240-1246 (2011) ·Zbl 1231.65190号 ·doi:10.1016/j.amc.2011.06.004
[19] Hauenstein，J.D.，Wampler，C.W.：等奇异集与通缩。网址：http://www4.ncsu.edu/jdhauens/prints/hwIsosingular.pdf。2012年9月23日访问·兹比尔1276.65029
[20] Huber，B.，Sturmfels，B.：求解稀疏多项式系统的多面体方法。数学。计算。64(212), 1541-1555 (1995) ·Zbl 0849.65030号 ·doi:10.1090/S0025-5718-1995-1297471-4
[21] Lee，T.L.，Li，T.Y.，Tsai，C.H.：HOM4PS-2.0：用多面体同伦延拓法求解多项式系统的软件包。计算83、109-133（2008）·Zbl 1167.65366号 ·doi:10.1007/s00607-008-0015-6
[22] Li，TY，用同伦延拓方法求解多项式系统，209-304（2003），阿姆斯特丹·Zbl 1059.65046号 ·doi:10.1016/S1570-8659（02）11004-0
[23] 洛伦森，W.E.，克莱恩，H.E.：行进立方体：一种高分辨率三维表面构建算法。计算。图表。21(4), 163-170 (1987) ·doi:10.1145/37402.37422
[24] Lu，Y.，Bates，D.J.，Sommese，A.J.，Wampler，C.W.：寻找复杂曲线的所有实点。收录于：《中西部代数、几何及其相互作用会议论文集》，当代数学，第448卷，第183-205页。AMS（2007）·Zbl 1136.65050号
[25] Milnor，J。；斯皮瓦克，M.（编辑）；威尔斯，R.（编辑），莫尔斯理论（1963），普林斯顿·Zbl 0108.10401号
[26] Morgan，A.P.：多项式系统避免无穷大解的变换。申请。数学。计算。18(1), 77-86 (1986) ·Zbl 0597.65045号 ·doi:10.1016/0096-3003（86）90029-9
[27] Morgan，A.P.，Sommese，A.J.：求解一般多项式系统的同伦，该系统考虑了m-齐次结构。申请。数学。计算。24, 101-113 (1987) ·Zbl 0635.65057号 ·doi:10.1016/0096-3003（87）90063-4
[28] Morgan，A.P.，Sommese，A.J.，Wampler，C.W.：计算多项式系统的奇异解。高级申请。数学。13(3), 305-327 (1992) ·Zbl 0764.65030号 ·doi:10.1016/0196-8858（92）90014-N
[29] Morgan，A.P.，Sommese，A.J.，Wampler，C.W.：计算非线性分析系统奇异解的幂级数方法。数字。数学。63(3), 391-409 (1992) ·Zbl 0756.65079号 ·doi:10.1007/BF01385867
[30] Myszka，D.、Murray，A.、Wampler，C.W.：机构分支、转弯曲线和临界点。In：程序。IDETC机械与机器人会议（CDROM）美国机械工程师协会。芝加哥（2012）·Zbl 1211.14066号
[31] Seong，J.K.，Elber，G.，Kim，M.S.：任意尺寸中的等高线1-和2-流形。收录于：SMI 05，第218-227页（2005）·Zbl 1203.65037号
[32] Sommese，A.J.，Verschelde，J.：计算正维代数集上一般点的数值同伦。J.复杂。16(3), 572-602 (2000) ·Zbl 0982.65070号 ·doi:10.1006/jcom.2000.0554
[33] Sommese，A.J.、Verschelde，J.、Wampler，C.W.：多项式系统解集到不可约分量的数值分解。SIAM J.数字。分析。2022-2046年第38期（2001年）·兹比尔1002.65060 ·doi:10.1137/S0036142900372549
[34] 酸奶，AJ；Verschelde，J。；Wampler，CW，《使用单值分解法将多项式系统的解集分解为不可约分量》，第36期，297-315（2001），多德雷赫特·Zbl 0990.65051号 ·doi:10.1007/978-94-010-111-516
[35] Sommese，A.J.、Verschelde，J.、Wampler，C.W.：用于分解多项式系统解集的对称函数。SIAM J.数字。分析。40, 2026-2046 (2001) ·Zbl 1034.65034号 ·doi:10.1137/S0036142901397101
[36] Sommese，A.J.，Verschelde，J.，Wampler，C.W.：多项式系统交叉解分量的同伦。SIAM J.数字。分析。42, 1552-1571 (2004) ·Zbl 1108.13308号 ·doi:10.1137/S0036142903430463
[37] Sommese，A.J.和Wampler，C.W.：工程和科学中出现的多项式系统的数值解。《世界科学》，新加坡（2005年）·Zbl 1091.65049号 ·数字对象标识代码：10.1142/9789812567727
[38] Verschelde，J.：算法795:PHCpack：通过同伦延拓对多项式系统进行通用求解。ACM事务处理。数学。柔和。25(2), 251-276 (1999) ·Zbl 0961.65047号 ·doi:10.1145/317275.317286
[39] Wampler，C.W.，Sommese，A.J.：数值代数几何和代数运动学。Acta Numer公司。20, 469-567 (2011) ·Zbl 1254.13031号 ·doi:10.1017/S0962492911000067
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。