A.邦帕德雷。;G.马特拉。;Wachenchauzer，R。;A.韦斯宾。 用提升程序求解分叉纤维的多项式方程。 （英语） Zbl 1060.65054号 西奥。计算。科学。 315，编号2-3，335-369（2004）. 在过去的几年中，符号消去方法被开发用于基于仿射变种的某些态射的平坦变形的多元多项式系统的算法解。本文的目的是推广可以用这种方法处理的多项式系统的类型。给出了一个由显性态射（pi:V\rightarrow\mathbb C^n）表示的零维仿射簇的一般无族族和一个特殊（最终分支）光纤（pi^{-1}（y_0））的无穷小结构，提出了一个计算任意光纤（pi ^{-1{（y））的完整描述的算法。在空间曲线的情况下，这推广了一种M.Giusti和J.Heintz,K.Hägele，J.E.Morais，L.M.Pardo、和J.L.蒙塔尼亚[《纯粹应用代数杂志》117–118、277–317（1997；兹比尔0871.68101)以及124101-146（1998年；Zbl 0944.12004号)]和E.斯科斯特【应用代数-工程-公共计算14，第1期，349–393（2003；Zbl 1058.68123号)]这需要取消对给定参数实例的分类。通过几个例子说明了该方法。审核人：W.C.Rheinboldt（匹兹堡） 引用于9文件 MSC公司： 65H10型 方程组解的数值计算 2005年12月 场论和多项式的计算方面（MSC2010） 26立方厘米 实多项式：零点的位置 关键词：多元多项式系统;支配映射的分支纤维;空间曲线的Puiseux展开;纽顿-亨塞尔吊装;数值示例;符号消除法 引文：Zbl 0871.68101号;Zbl 0944.12004号;Zbl 1058.68123号 软件：隔离;PoSSo公司;克罗内克 PDF格式BibTeX公司 XML格式引用 \textit{A.Bompadre}等人，Theor。计算。科学。315，编号2--3，335--369（2004；Zbl 1060.65054） 全文： 内政部 参考文献： [1] E.Allgower，K.Georg，《数值延拓方法：导论》，《计算数学中的Springer级数》，第13卷，Springer，海德堡，1990年。；E.Allgower，K.Georg，《数值延拓方法：导论》，《计算数学中的Springer系列》，第13卷，Springer，海德堡，1990年·Zbl 0717.65030号 [2] M.Alonso，E.Becker，M.-F.Roy，T.Wörmann，零维系统的零、重数和幂等元，收录于：L.González-Vega，T.Recio（编辑），代数几何中的算法和数学应用进展，第143卷，Birkhäuser，巴塞尔，1996年，第1-15页。；M.Alonso，E.Becker，M.-F.Roy，T.Wörmann，零维系统的零、重数和幂等元，收录于：L.González-Vega，T.Recio（编辑），代数几何中的算法和数学应用进展，第143卷，Birkhäuser，巴塞尔，1996年，第1-15页·兹伯利0879.14033 [3] M.Alonso，G.Niesi，T.Mora，M.Raimondo，奇异点处空间曲线的局部参数化，收录于：I.Herman，C.Pienovi（编辑），计算机图形学和数学，Springer Eurographic研讨会系列，施普林格，柏林-海德堡，纽约，1991年，第61-90页。；M.Alonso，G.Niesi，T.Mora，M.Raimondo，奇异点处空间曲线的局部参数化，收录于：I.Herman，C.Pienovi（编辑），《计算机图形学和数学》，Springer Eurographic研讨会系列，斯普林格，柏林-海德堡，纽约，1991年，第61-90页。 [4] M.Alonso，G.Niesi，T.Mora，M.Raimondo，计算空间曲线奇点处解析分支的算法，收录于：W.-T.Wu，M.-D.Cheng（编辑），Proc。1992年国际数学机械化研讨会，国际学术出版社。，1992年，第135-166页。；M.Alonso，G.Niesi，T.Mora，M.Raimondo，计算空间曲线奇点处解析分支的算法，收录于：W.-T.Wu，M.-D.Cheng（编辑），Proc。1992年国际数学机械化研讨会，国际学术出版社。，1992年，第135-166页。 [5] M.Artin，塔塔研究所基金会奇点变形讲座。研究，1976年。；M.Artin，《奇点变形讲座》，塔塔研究所基金会。1976年研究·Zbl 0395.14003号 [6] 拜耳，芒福德，代数几何中可以计算什么？收录于：D.Eisenbud，L.Robbiano（编辑），计算代数几何和交换代数，Symp。《数学》，第三十四卷，剑桥大学出版社，剑桥，1993年，第1-49页。；拜耳，芒福德，代数几何中可以计算什么？收录于：D.Eisenbud，L.Robbiano（编辑），计算代数几何和交换代数，Symp。《数学》，第三十四章，剑桥大学出版社，剑桥，1993年，第1-49页·Zbl 0846.13017号 [7] T.Becker，V.Weispfenning，Gröbner bases，《交换代数的计算方法》，《Springer数学研究生教材》，第141卷，Springer，柏林，海德堡，纽约，1993年。；T.Becker，V.Weispfenning，Gröbner bases，《交换代数的计算方法》，《Springer数学研究生教材》，第141卷，Springer，柏林，海德堡，纽约，1993年·Zbl 0772.13010号 [8] D.Bini，B.Mourrain，多项式测试套件，；D.Bini，B.Mourrain，多项式测试套件， [9] 比尼，D。；Pan，V.，《多项式和矩阵计算》（1994），Birkhäuser:Birkháuser Basel·Zbl 0809.65012号 [10] 布鲁姆，L。；Cucker，F。；舒布，M。；Smale，S.，《复杂性与实际计算》（1998），施普林格出版社：施普林格纽约，柏林，海德堡 [11] A.Bompadre，Un problema de eliminacionón geométrica en sistemas de Pham Brieskorn，硕士论文，法医。反恐精英。Exactas y Nat.，布宜诺斯艾利斯大学，2000年。；A.Bompadre，Un problema de eliminacionón geométrica en sistemas de Pham Brieskorn，硕士论文，法医。反恐精英。Exactas y Nat.，布宜诺斯艾利斯大学，2000年。 [12] A.Bompadre，G.Matera，R.Wachenchauzer，A.Waissbein，《分支纤维的提升程序和多项式方程求解》，载：M.Frías，J.Heintz（编辑），Proc。阿根廷信息技术研讨会，2001年9月，布宜诺斯艾利斯WAIT'01，第30卷，《分析》，布宜诺艾利斯，2001年，第13-31页。；A.Bompadre，G.Matera，R.Wachenchauzer，A.Waissbein，《分支纤维的提升程序和多项式方程求解》，载：M.Frías，J.Heintz（编辑），Proc。阿根廷信息技术研讨会，2001年9月，布宜诺斯艾利斯WAIT'01，第30卷，Anales JAIIO，布宜诺艾利斯，2001年，第13-31页·兹比尔1060.65054 [13] 邦德，J.F。；Rossi，J.，《放大与虚假稳定解》，Proc。阿默尔。数学。《社会学杂志》，129，1，139-144（2001）·Zbl 0970.35003号 [14] A.Borodin，《时空权衡》（越来越接近障碍？），载于《第四国际报》。交响乐团。《算法与计算》，ISAAC’93，香港，1993年12月，《计算机科学讲义》，第762卷，施普林格，柏林，1993年，第209-220页。；A.Borodin，《时空权衡》（越来越接近障碍？），载于《第四国际报》。交响乐团。算法与计算，ISAAC’93，香港，1993年12月，计算机科学讲义，第762卷，柏林斯普林格，1993年，第209-220页。 [15] P.Bürgisser，M.Clausen，M.Shokrollahi，代数复杂性理论，Grundlehren der mathematischen Wissenschaften，第315卷，施普林格，柏林，海德堡，纽约，1997年。；P.Bürgisser，M.Clausen，M.Shokrollahi，代数复杂性理论，Grundlehren der mathematischen Wissenschaften，第315卷，施普林格，柏林，海德堡，纽约，1997年·Zbl 1087.68568号 [16] D.Castro，M.Giusti，J.Heintz，G.Matera，L.M.Pardo，多项式方程求解的硬度，发现。计算。数学。3 (4) (2003) 347-420.; D.Castro，M.Giusti，J.Heintz，G.Matera，L.M.Pardo，《多项式方程求解的困难》，Found。计算。数学。3 (4) (2003) 347-420. ·Zbl 1049.68070号 [17] 墨西哥Chipot。；菲拉，M。；Quittner，P.，具有非线性边界条件的半线性抛物方程的定态解、爆破和收敛到定态解，《数学学报》。科米尼亚大学，60，1，35-103（1991）·Zbl 0743.35038号 [18] A.Chistov，D.Grigoriev，代数方程I，II的次指数时间求解系统，LOMI预印本E-9-83，E-10-83，Steklov研究所，列宁格勒，1983年。；A.Chistov，D.Grigoriev，代数方程I，II的次指数时间求解系统，LOMI预印本E-9-83，E-10-83，Steklov研究所，列宁格勒，1983年。 [19] 考克斯·D。；Little，J。；O'Shea，D.，《理想、多样性和算法：计算代数几何和交换代数导论》，数学本科生教材（1992），施普林格：施普林格柏林，海德堡，纽约·Zbl 0756.13017号 [20] D.Cox，J.Little，D.O'Shea，《使用代数几何》，《数学研究生教材》，第185卷，施普林格，柏林，海德堡，纽约，1998年。；D.Cox，J.Little，D.O'Shea，《使用代数几何》，《数学研究生教材》，第185卷，施普林格，柏林，海德堡，纽约，1998年·Zbl 0920.13026号 [21] D.Cox，B.Sturmfels，计算代数几何的应用，第53卷，Proc。交响乐团。应用数学，AMS，普罗维登斯，RI，1998年。；D.Cox，B.Sturmfels，计算代数几何的应用，第53卷，Proc。交响乐团。应用数学，AMS，普罗维登斯，RI，1998年·Zbl 0880.00039号 [22] Danilov，V.，代数变种和方案，（Shafarevich，I.，代数几何I.代数几何I，《数学科学百科全书》，第23卷（1994年），施普林格：施普林格-柏林），167-297·Zbl 0787.00008号 [23] Duval，D.，Rational Puiseux展开，复合数学。，70, 119-154 (1989) ·Zbl 0699.14034号 [24] D.Eisenbud，《代数几何视野下的交换代数》，《数学研究生教材》，第150卷，施普林格，柏林，海德堡，纽约，1995年。；D.Eisenbud，《从代数几何的角度看交换代数》，《数学研究生论文》，第150卷，施普林格，柏林，海德堡，纽约，1995年·Zbl 0819.13001号 [25] 费雷拉，R。；Groisman，P。；Rossi，J.，带非线性边界条件的非线性问题的数值爆破，数学。模型方法应用。科学。，12, 4, 461-484 (2002) ·Zbl 1028.35082号 [26] W.Fulton，交叉理论，施普林格，柏林，海德堡，纽约，1984年。；W.Fulton，交叉理论，施普林格，柏林，海德堡，纽约，1984年·Zbl 0541.14005号 [27] P.Gianni，T.Mora，使用Gröbner基的多项式方程组的代数解，见：L.Huguet，A.Poli（编辑），Proc。AAECC-5，西班牙梅诺卡，1987年6月，计算机科学讲义，第356卷，柏林斯普林格，1989年，第247-257页。；P.Gianni，T.Mora，使用Gröbner基的多项式方程组的代数解，见：L.Huguet，A.Poli（编辑），Proc。AAECC-5，西班牙梅诺卡，1987年6月，《计算机科学讲义》，第356卷，施普林格，柏林，1989年，第247-257页·兹伯利0692.13012 [28] Giusti，M。；哈格尔，K。；海因茨，J。；Morais，J.E。；蒙塔尼亚，J.L。；Pardo，L.M.，丢番图近似的下限，J.Pure Appl。代数，117118277-317（1997）·Zbl 0871.68101号 [29] M.Giusti，J.Heintz，La détermination des points isolés et de La dimension d'une variétéalgébrique peut se faire en temps多项式，见：d.Eisenbud，L.Robbiano（编辑），《计算代数几何与交换代数》，第三十四届数学研讨会，马萨诸塞州剑桥大学出版社，1993年，第216-256页。；M.Giusti，J.Heintz，La détermination des points isolés et de La dimension d'une variétéalgébrique peut se faire en temps多项式，见：d.Eisenbud，L.Robbiano（编辑），《计算代数几何与交换代数》，第三十四届数学研讨会，马萨诸塞州剑桥大学出版社，1993年，第216-256页·Zbl 0829.14029号 [30] Giusti，M。；海因茨，J。；Morais，J.E。；Morgenstern，J。；Pardo，L.M.，《几何消元理论中的直线程序》，J.Pure Appl。代数，124101-146（1998）·Zbl 0944.12004号 [31] M.Giusti，J.Heintz，J.E.Morais，L.M.Pardo，多项式方程组何时可以快速求解？收录人：G.Cohen、M.Giusti、T.Mora（编辑），Proc。AAECC-11，《计算机科学讲义》，第948卷，施普林格，柏林，1995年，第205-231页。；M.Giusti，J.Heintz，J.E.Morais，L.M.Pardo，多项式方程组何时可以快速求解？收录人：G.Cohen、M.Giusti、T.Mora（编辑），Proc。AAECC-11，《计算机科学讲义》，第948卷，柏林斯普林格出版社，1995年，第205-231页·Zbl 0902.12005 [32] Giusti，M。；海因茨，J。；Morais，J.E。；Pardo，L.M.，《消除问题的结构》，C.r.Acad。科学。巴黎，3251223-1228（1997）·Zbl 0893.68144号 [33] Giusti，M。；Lecerf，G。；Salvy，B.，A Gröbner free alternative for多项式系统求解，J.Complexity，17，1，154-211（2001）·Zbl 1003.12005年 [34] M.Gonzalez-Lopez，L.Gonsalez-Vega，多元情况下的牛顿恒等式：Pham系统，收录于：B.Buchberger等人（编辑），Gröbner Bases and Applications，London Math。SLNS 251，剑桥大学出版社，马萨诸塞州剑桥市，1998年，第351-366页。；M.Gonzalez-Lopez，L.Gonsalez-Vega，多元情况下的牛顿恒等式：Pham系统，收录于：B.Buchberger等人（编辑），Gröbner Bases and Applications，London Math。SLNS 251，剑桥大学出版社，马萨诸塞州剑桥市，1998年，第351-366页·Zbl 0902.12006号 [35] Gonzalez-Vega，L.，Pham系统的一种特殊量词消除算法，（Detzell等人，C.，《实代数几何与有序结构》，实代数几何和有序结构，当代数学，第253卷（1998年），AMS:AMS Providence，RI），115-366·Zbl 0982.14033号 [36] Heintz，J.，代数闭域中的可定义性和快速量词消去，定理。计算。科学。，24, 3, 239-277 (1983) ·Zbl 0546.03017号 [37] J.Heintz，关于多项式和双线性映射的计算复杂性。一项调查，载于：L.Huguet，A.Poli（编辑），Proc。AAECC-5，西班牙梅诺卡，1987年6月，《计算机科学讲义》，第356卷，施普林格，柏林，1989年，第269-300页。；J.Heintz，关于多项式和双线性映射的计算复杂性。调查，见：L.Huguet，A.Poli（编辑），Proc。AAECC-5，西班牙梅诺卡，1987年6月，《计算机科学讲义》，第356卷，柏林斯普林格，1989年，第269-300页·Zbl 0678.68036号 [38] J.Heintz，G.Jerónimo，J.Sabia，J.San Martñn，P.Solernó，《关于多齐次贝佐特定理》，载于《交集理论与变形算法》。《多元同质案例》，布宜诺斯艾利斯大学手稿，2002年。；J.Heintz，G.Jerónimo，J.Sabia，J.San Martñn，P.Solernó，《关于多齐次贝佐特定理》，载于《交集理论与变形算法》。多均质案例，布宜诺斯艾利斯大学手稿，2002年。 [39] 海因茨，J。；Krick，T。；普杜，S。；Sabia，J。；Waissbein，A.，高效多项式方程求解的变形技术，J.Complexity，16，1，70-109（2000）·Zbl 1041.65044号 [40] 海因茨，J。；马特拉，G。；Waissbein，A.，关于几何消除过程的时空复杂性，应用。代数工程通信公司。，11, 4, 239-296 (2001) ·Zbl 0977.68101号 [41] Henry，D.，半线性抛物方程几何理论，数学课堂讲稿，第840卷（1981），施普林格：施普林格-柏林，海德堡·Zbl 0456.35001号 [42] Huber，B。；Sturmfels，B.，求解稀疏多项式系统的多面体方法，数学。计算。，64, 112, 1541-1555 (1995) ·Zbl 0849.65030号 [43] Krick，T。；Pardo，L.M.，《丢番图近似的计算方法》（González-Vega，L.；Recio，T.，《代数几何中的算法和应用》，《代数几何学中的算法与应用》，数学进展，第143卷（1996年），Birkhä用户：Birkhá用户巴塞尔），193-254·兹伯利0878.11043 [44] Kronecker，L.，Grundzüge einer算术理论Grössen，J.Reine Angew。数学。，92, 1-122 (1882) [45] Kunz，E.，《交换代数和代数几何导论》（1985），Birkhäuser:Birkháuser Boston·Zbl 0563.13001号 [46] Lickteig，T。；Roy，M.-F.，Cauchy指数计算，Calcolo，33，337-351（1997）·Zbl 0904.65024号 [47] Macaulay，F.S.，模块系统的代数理论（1916），剑桥大学出版社：剑桥大学出版社·Zbl 0802.13001号 [48] Matsumura，H.，交换环理论（1986），剑桥大学出版社：剑桥大学出版社·Zbl 0603.13001号 [49] T.Mora，G.Pfister，C.Traverso，《切锥算法简介》，载于：C.Hoffmann（Ed.），机器人学和非线性几何问题，计算研究进展第6卷，JAI出版社，格林威治CT，1992年，第199-270页。；T.Mora，G.Pfister，C.Traverso，切线锥算法简介，载于：C.Hoffmann（编辑），机器人和非线性几何问题，计算研究进展第6卷，JAI出版社，格林威治CT，1992年，第199-270页。 [50] B.Mourrain，V.Pan，使用结构矩阵和代数残基求解特殊多项式系统，见：F.Cucker，M.Shub（编辑），Proc。FOCM’97，施普林格，柏林，海德堡，纽约，1997年，第287-304页。；B.Mourrain，V.Pan，使用结构矩阵和代数残数求解特殊多项式系统，收录于：F.Cucker，M.Shub（编辑），Proc。FOCM’97，柏林施普林格，海德堡，纽约，1997年，第287-304页·Zbl 0922.65044号 [51] 穆兰，B。；Pan，V.，多元多项式，对偶和结构矩阵，J.复杂性，16，1，110-180（2000）·Zbl 0963.68232号 [52] L.M.Pardo，《消除理论中复杂度下限和上限如何满足》，载于：G.Cohen，M.Giusti，T.Mora（编辑），Proc。AAECC-11，《计算机科学讲义》，第948卷，施普林格，柏林，海德堡，纽约，1995年，第33-69页。；L.M.Pardo，《消除理论中复杂度下限和上限如何满足》，载于：G.Cohen，M.Giusti，T.Mora（编辑），Proc。AAECC-11，《计算机科学讲义》，第948卷，施普林格，柏林，海德堡，纽约，1995年，第33-69页·Zbl 0899.68054号 [53] L.M.Pardo，J.San Martín，求解广义Pham系统的变形技术，Theoret。计算。科学。，本卷（2004）。；L.M.Pardo，J.San Martín，求解广义Pham系统的变形技术，Theoret。计算。科学。，本卷（2004）。 [54] Renegar，J.，《论实I，II，III的一阶理论的计算复杂性和几何》，J.符号计算。，13, 3, 255-352 (1992) ·Zbl 0798.68073号 [55] W.Rheinboldt，《非线性方程组的求解方法》，CBMS-NSF应用数学区域会议系列，第70卷，SIAM，费城，1998年。；W.Rheinboldt，《非线性方程组的求解方法》，CBMS-NSF应用数学区域会议系列，第70卷，SIAM，费城，1998年·Zbl 0906.65051号 [56] Rouillier，F.，通过有理单变量表示求解零维系统，应用。代数工程通信公司。，9, 5, 433-461 (1997) ·Zbl 0932.12008号 [57] Savage，J.，《计算模型》。探索计算的力量（1998），艾迪森·韦斯利：艾迪森·韦斯利·雷丁，马萨诸塞州·Zbl 0890.68059号 [58] Schost，E.，计算参数几何分辨率，应用。代数工程通信公司。，13, 349-393 (2003) ·Zbl 1058.68123号 [59] Schwartz，J.，验证多项式恒等式的快速概率算法，J.ACM，27，4，701-717（1980）·Zbl 0452.68050号 [60] Shafarevich，I.，《基本代数几何：射影空间的变化》（1994），施普林格：施普林格柏林，海德堡，纽约·Zbl 0797.14001号 [61] V.Strassen，代数复杂性理论，收录于：van Leeuwen，J.（编辑），《理论计算机科学手册》，Elsevier，阿姆斯特丹，1990年，第634-671页（第11章）。；V.Strassen，代数复杂性理论，收录于：van Leeuwen，J.（编辑），《理论计算机科学手册》，Elsevier，阿姆斯特丹，1990年，第634-671页（第11章）·兹比尔0900.68247 [62] Sturmfels，B.，多项式方程组的求解，CBMS数学区域会议系列（2002），AMS：AMS普罗维登斯，RI·Zbl 1101.13040号 [63] J.von zur Gathern，《并行算术计算：一项调查》，收录于：B.R.J.Gruska，J.Wiedermann（编辑），Proc。第十二交响曲。MFCS，布拉迪斯拉发，捷克斯洛伐克，1986，计算机科学讲义，第233卷，施普林格，柏林，1986，第93-112页。；J.von zur Gathern，《并行算术计算：一项调查》，收录于：B.R.J.Gruska，J.Wiedermann（编辑），Proc。第十二交响曲。MFCS，布拉迪斯拉发，捷克斯洛伐克，1986年，计算机科学讲义，第233卷，施普林格，柏林，1986，第93-112页·Zbl 0616.68037号 [64] Walker，R.，《代数曲线》（1950），多佛出版公司：纽约多佛出版有限公司·Zbl 0039.37701号 [65] Walsh，P.，《理性Puiseux展开的复杂性》，太平洋数学杂志。，188, 2, 369-387 (1999) ·Zbl 0963.14034号 [66] Walsh，P.，代数、函数、数学的Puiseux展开式奇异部分计算的多项式时间复杂性界限。计算。，69, 231, 1167-1182 (2000) ·Zbl 1042.14039号 [67] Zarisk，O.，代数曲面（1995），Springer:Springer Berlin，Heidelberg，New York·Zbl 0010.37103号 [68] R.Zippel，稀疏多项式的概率算法，收录于：Proc。EUROSAM’79，马赛1979，计算机科学讲义，第72卷，施普林格，柏林，1979，第216-226页。；R.Zippel，稀疏多项式的概率算法，收录于：Proc。EUROSAM’79，马赛1979，计算机科学讲义，第72卷，施普林格，柏林，1979，第216-226页·Zbl 0418.68040号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。