×
罗忠轩;冯二宝;张杰金

Max-Nöther剩余交集定理条件的数值实现。 （英语） Zbl 1324.65032号

申请。数学。，序列号。B（英语版） 29，第4期，481-502（2014）.
摘要：本文的目的是研究Max-Nöther剩余交集定理条件的数值实现。数值实现依赖于同伦延拓法求两条代数曲线的交点，计算代数曲线的近似位置，获得多项式在这些位置的精确阶数，并确定代数曲线的点的多重性和特征。数值实验表明，即使代数曲线的系数不精确，我们的方法在不使用多精度算法的情况下也是准确、有效和鲁棒的。我们还得出结论，数值实现的计算复杂性是多项式时间。

MSC公司：

65D18天 计算机图形、图像分析和计算几何的数值方面
第13天第15天 Grothendieck群，（K\）-理论和交换环
2005年第14季度 代数曲线的计算方面
65H20个 全局方法，包括非线性方程数值解的同伦方法
65年20月 数值算法的复杂性和性能

关键词：

代数曲线;Puiseux扩建;地方;同伦延拓;多个根;马克斯·诺瑟剩余交集定理;数值实验;计算复杂性

软件：

MultRoot（多根）;PHC包;POLSYS_PLP系统;PHoM公司;下午4点;主页90
PDF格式BibTeX公司 XML格式引用
\textit{Z.Luo}等人，应用。数学。，序列号。B（英语版）29，第4期，481--502（2014；Zbl 1324.65032）
全文： 内政部

参考文献：

[1] D H贝利。基于Fortran-90的多精度系统，ACM Trans Math Software，1995，21:379–387·Zbl 0883.68017号 ·doi:10.1145/212066.212075
[2] D J Bates，J D Hauenstein，C Peterson，A J Sommese。多项式方程组解集上点的数值局部维数检验，SIAMJ Numer Ana，2009，47:3608–3623·Zbl 1211.14066号 ·数字对象标识码：10.1137/08073264X
[3] D J Bates，J D Hauenstein，A J Sommese，C W Wampler。《数值代数几何软件：范例及其实现进展》，《代数几何软件》，IMA Vol Math Appl，2008年，148:1-4·Zbl 1143.65344号 ·doi:10.1007/978-0-387-78133-4_1
[4] A L奇斯托夫。Newton-Puiseux展开算法的多项式复杂性，计算科学讲义，1986，233:247-255·Zbl 0636.65043号 ·doi:10.1007/BFb0016248
[5] D V丘德诺夫斯基，G V丘德诺夫斯基。关于幂代数函数的展开式和Puiseux级数I，J Complexity，1986，2:271-294·Zbl 0629.68038号 ·doi:10.1016/0885-064X（86）90006-3
[6] D V丘德诺夫斯基，G V丘德诺夫斯基。关于幂代数函数的展开式和Puiseux级数II，J Complexity，1987，3:1–25·Zbl 0656.34003号 ·doi:10.1016/0885-064X（87）90002-1
[7] D杜瓦尔。Rational Puiseux展开，《合成数学》，1989年，70:119–154·Zbl 0699.14034号
[8] D Eisenbud，M Green，J Harris。Cayley-Bacharach定理和猜想，Bull Amer Math Soc，1996，33:295–324·Zbl 0871.14024号 ·doi:10.1090/S0273-0979-96-00666-0
[9] R T Farouki，V T Rajan。代数曲线和曲面的数值条件I：隐式方程，计算机辅助几何设计，1988，5:215–252·Zbl 0709.65011号 ·doi:10.1016/0167-8396（88）90005-2
[10] T Gunji、S Kim、M Kojima、A Takeda、K Fujisawa、T Mizutani。PHoM：多项式系统的多面体同伦延拓方法，计算，2004，73:57–77·Zbl 1061.65041号 ·doi:10.1007/s00607-003-0032-4
[11] H T Kung，J F Traub。所有代数函数都可以快速计算，J Assoc Comput Mach，1978，25:246–260·Zbl 0371.68019号 ·数字对象标识代码：10.1145/322063.322068
[12] T L Lee、T Y Li、C H Tsai。HOM4PS-2.0：用多面体同伦延拓法求解多项式系统的软件包，计算，2008，83:109–133·Zbl 1167.65366号 ·doi:10.1007/s00607-008-0015-6
[13] T Y Li。用同伦延拓法求解多项式系统，Handb Numer Ana第十一卷，北荷兰特，阿姆斯特丹，2003，209-304·Zbl 1059.65046号
[14] V Y平移。求解多项式方程：一些历史和最新进展，SIAM Rev，1997，39:187-220·兹比尔0873.65050 ·doi:10.1137/S0036144595288554
[15] 波提奥。计算由平面代数曲线定义的单值群，Proc 2007 IntWorkshop符号数值计算，2007，36–45。
[16] J R Sendra，F Winkler，S Pérez-Díaz。理性代数袖套，施普林格-弗拉格出版社，柏林-海德堡，2008年·Zbl 1129.14083号
[17] M Shub，S Smale。贝佐特定理V的复杂性：多项式时间，《理论计算科学》，1994年，133:141–164·Zbl 0846.65022号 ·doi:10.1016/0304-3975（94）90122-8
[18] M Shub.公司。贝佐特定理的复杂性六：条件（数）度量中的测地线，《计算数学基础》，2009年，9:171-178·Zbl 1175.65060号 ·doi:10.1007/s10208-007-9017-6
[19] B T史密斯。基于Gerschgorin定理的多项式零点的误差界，J ACM，1970，17:661-674·Zbl 0215.27305号 ·数字对象标识代码：10.1145/321607.321615
[20] A J Sommese，C W Wampler。工程与科学中多项式系统的数值解，世界科学，新加坡，2005年·Zbl 1091.65049号
[21] A J Sommese，J Verschelde，C W Wampler。《数值代数几何》，《数学数值分析》，Lect Appl Math第32卷，1996，749–763·Zbl 0856.65054号
[22] H J Su、J M McCarthy、M Sosonkina和L T Watson。算法857:POLSYS-GLPa用于求解多项式方程组的并行一般线性积同伦代码，ACM Trans Math Software，2006，32:561-579·兹比尔1230.65058 ·doi:10.145/1186785.1186789
[23] J Verschelde。算法795:PHCpack:同伦延拓多项式系统的通用求解器，ACM Trans Math Software，1999，25:251–276·Zbl 0961.65047号 ·doi:10.1145/317275.317286
[24] R J沃克。代数曲线，Springer-verlag，纽约，1978年·Zbl 0399.14016号
[25] P G沃尔什。代数函数Puiseux展开式奇异部分计算的多项式时间复杂性界限，数学计算，2000，69:1167-1182·Zbl 1042.14039号 ·doi:10.1090/S0025-5718-00-01246-1
[26] L T Watson、M Sosonkina、R C Melville、A P Morgan、H F Walker。算法777:HomPack90:Fortran90代码集，用于全局收敛的同伦论算法，ACM Trans Math Software，1997，23:514–549·Zbl 0913.65042号 ·doi:10.1145/279232.279235
[27] S M Wise，A J Sommese，L T Watson。算法801：POLSYS-PLP：用于求解多项式方程组的分区线性乘积同伦码，ACM Trans Math Software，2000，26:176–200·Zbl 1137.65353号 ·doi:10.1145/347837.347885电话：
[28] Z曾。计算不精确多项式的多重根，《数学计算》，2005年，74:869–903·兹比尔1079.12007 ·doi:10.1090/S0025-5718-04-01692-8
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。