×
黄成超;李景超;徐明;李志斌

通过排除和分化对多电源进行阳性根隔离。 （英语） 兹比尔1378.68200

J.塞姆。计算。 85, 148-169 (2018).
摘要：我们考虑一类单变量实函数-（mathsf{poly-powers}）-将整数指数扩展为多项式的实代数指数。我们的目的是将这样一个函数的正根分离成不相交的区间，每个区间正好包含一个正根，并且一起包含所有正根，可以很容易地将其细化到任何所需的精度。为此，我们首先根据线性无关指数的数量将（mathsf{poly-powers}）分为简单指数和非简单指数。对于前者，基于Gelfond-Schneider定理，我们提出了两种完整的隔离算法——排除和微分。对于后者，它们的完整性取决于Schanuel的猜想。我们实现了这两种方法，并通过几个例子比较了它们的效率。最后，将所提出的方法应用于系统生物学领域，以表明其实用性。

引用于4文件

MSC公司：

68瓦30 符号计算和代数计算
12天10分 实域和复域中的多项式：零点的位置（代数定理）
2005年12月 场论和多项式的计算方面（MSC2010）
92立方厘米 系统生物学、网络

关键词：

实根隔离;广义多项式;超越数;区间算术;系统生物学

软件：

QEPCAD公司;到达;隔离
PDF格式BibTeX公司 XML格式引用
\textit{C.-C.Huang}等人，J.Symb。计算。85、148--169（2018；Zbl 1378.68200）
全文： 内政部

参考文献：

[1] 阿查兹，M。；McCallum，S。；Weispfenning，V.，决定多项式指数问题，（Sendra，J.R.；González-Vega，L.，Proc.ISSAC 2008（2008），ACM），215-222·Zbl 1236.68301号
[2] 阿奈，H。；Weispfenning，V.，《使用实量词消除的Reach集计算》（Benedetto，M.D.D.；Sangiovanni-Vincentelli，A.，Proc.HSCC 2001）。程序。HSCC 2001，勒克特。注释计算。科学。，第2034卷（2001），施普林格），63-76·Zbl 0991.93008号
[3] Ax，J.，《关于Schanuel猜想》，《数学年鉴》。，93, 2, 252-268 (1971) ·Zbl 0232.10026号
[4] 贝克·J。；莱维坦，D。；纽曼，D.J。；Tzimbalario，J.，广义多项式近似，Isr。数学杂志。，15, 4, 337-349 (1973) ·Zbl 0273.41004号
[5] 贝克尔，R。；萨格拉洛夫，M。；夏尔马，V。；徐，J。；Yap，C.，复杂多项式根聚类的复杂性分析，（Abramov，S.a.；Zima，E.V.；Gao，X.-S.，Proc.ISSAC 2016（2016），ACM），71-78·Zbl 1364.30011号
[6] 程，J.-S。；高X.S。；Yap，C.-K.，零维三角系统中实零点的完全数值隔离，（Brown，C.W.，Proc.ISSAC 2007（2007），ACM），92-99·Zbl 1190.65082号
[7] 乔涅夫，V。；Ouaknine，J。；Worrell，J.，《关于连续线性动力系统的Skolem问题》，（Chatzigiannakis，I.；Mitzenmacher，M.；Rabani，Y.；Sangiorgi，D.，Proc.ICALP 2016。程序。ICALP 2016，LIPIcs，第55卷（2016），Schloss Dagstuhl），100:1-100:13·Zbl 1388.68043号
[8] Collins，G.E.，圆柱代数分解实闭域的量化消去，（Brakhage，H.，Proc.2nd GI Conference on Automata Theory and Formal Languages.Proc.2nd GI Conference on Automata Theory and Formal Languages，Lect.Notes Comput.Sci.，vol.33（1975），Springer），134-183·Zbl 0318.02051号
[9] 柯林斯，G.E。；Akritas，A.G.，《使用笛卡尔符号规则的多项式实根分离》，（《SYMSAC 1976（1976）学报》，ACM），272-275
[10] 柯林斯，G.E。；Hong，H.，量词消除的部分柱面代数分解，J.Symb。计算。，12, 3, 299-328 (1991) ·Zbl 0754.68063号
[11] 柯林斯，G.E。；Loos，R.，《通过微分分离多项式实根》，（《SYMSAC 1976（1976）学报》，ACM），15-25·Zbl 0454.65036号
[12] Coste，M。；Lajous-Loaeza，T。；伦巴第，H。；罗伊，M.-F.，广义布丹-福利亚定理和虚根，J.复数。，21, 4, 479-486 (2005) ·兹比尔1106.12001
[13] Coste，M。；Roy，M.F.，Thom引理，实代数数的编码和半代数集拓扑的计算，J.Symb。计算。，5, 1-2, 121-129 (1988) ·Zbl 0689.14006号
[14] Cucker，F。；Smale，S.，《取决于条件和舍入误差的复杂性估计》，J.ACM，46，1，113-184（1999）·Zbl 1065.68533号
[15] 德迪厄，J.-P。；Yakoubsohn，J.-C.，用排除算法计算多项式的实根，Numer。算法，4，1，1-24（1993）·Zbl 0774.65028号
[16] 古普塔，A。；Kamath，P。；北卡罗来纳州凯亚尔。；Saptharishi，R.，《接近深度四的裂缝》（CCC 2013（2013），IEEE计算机学会），65-73
[17] Gustafson，G.B.，《微分方程组》（1998），可在·Zbl 0261.34023号
[18] Kailath，T.，《线性系统》（1980），普伦蒂斯·霍尔·Zbl 0458.93025号
[19] 拉弗里尔，G。；帕帕斯，G.J。；Yovine，S.，线性向量场族的符号可达性计算，J.Symb。计算。，32, 3, 231-253 (2001) ·Zbl 0983.93004号
[20] Li，J.-C。；黄，C.-C。；Xu，M。；Li，Z.-B.，多粉体的阳性根分离，（Abramov，S.A.；Zima，E.V.；Gao，X.-S.，ISSAC Proc.2016（2016），ACM），325-332·Zbl 1365.65143号
[21] Loos，R.，《代数扩展中的计算》（Buchberger，B.；Collins，G.E.；Loos，R，《计算机代数：符号和代数计算》（1983），Springer），173-187·Zbl 0576.12001号
[22] McCallum，S。；魏斯芬宁，V.，决定多项式传递问题，J.Symb。计算。，47, 1, 16-31 (2012) ·Zbl 1243.03015号
[23] Mignotte，M.，《一些有用的边界》（Buchberger，B.；Collins，G.E.；Loos，R.，《计算机代数：符号和代数计算》（1983），Springer），259-263·Zbl 0498.12019号
[24] 牛顿，I.，《解析每个等式的无穷大数字终端》（1711），威廉·琼斯
[25] Pan，V.Y.，《单变量多项式：数值因式分解和寻根的近似最优算法》，J.Symb。计算。，33, 5, 701-733 (2002) ·Zbl 1004.65061号
[26] 潘，V.Y。；Tsigaridas，E.P.，单变量多项式实根的近似最优精化，J.Symb。计算。，74, 181-204 (2016) ·Zbl 1329.65096号
[27] Richardson，D.，《朝向计算非代数圆柱分解》（Watt，S.M.，Proc.ISSAC 1991（1991），ACM），247-255·Zbl 0925.65091号
[28] Richardson，D.，《如何识别零》，J.Symb。计算。，24, 6, 627-645 (1997) ·Zbl 0917.11062号
[29] Rouillier，F.，通过有理单变量表示求解零维系统，应用。代数工程通讯。计算。，9, 5, 433-461 (1999) ·Zbl 0932.12008号
[30] 萨格拉洛夫，M。；Mehlhorn，K.，《计算实多项式的实根》，J.Symb。计算。，73, 46-86 (2016) ·Zbl 1330.65072号
[31] 西格尔，C.L.，《超越数字》（1949），普林斯顿大学出版社·Zbl 0039.04402号
[32] Smale，S.，Newton’S method estimates from data at one point，（尤因，R.E.；格罗斯，K.I.；马丁，C.F.，《学科的合并：纯粹数学、应用数学和计算数学的新方向》（1986），斯普林格出版社），185-196·Zbl 0613.65058号
[33] Strzeboánski，A.，exp-log函数的实际根隔离，（Sendra，J.R.；González-Vega，L.，Proc.ISSAC 2008（2008），ACM），303-313·Zbl 1236.65057号
[34] Strzeboñski，A.，《驯服基本函数的实根隔离》（Johnson，J.R.；Park，H.；Kaltoffen，E.，Proc.ISSAC 2009（2009），ACM），第341-350页·Zbl 1237.33015号
[35] 斯特泽波恩斯基，A.，第一变量中超越系统的柱形分解，J.Symb。计算。，4611284-1290（2011年）·Zbl 1236.14053号
[36] Tarski，A.，《初等代数和几何的决策方法》（1951），加利福尼亚大学出版社·Zbl 0044.25102号
[37] Thomas，J.M.，Sturm的多根定理，Natl。数学。Mag.，15，8，391-394（1941）·肯尼迪67.0064.03
[38] 范德瓦尔登，B.L.，《代数I》（1991），施普林格·Zbl 0724.12001号
[39] 夏，B。；Yang，L.，半代数系统实解的隔离算法，J.Symb。计算。，34, 5, 461-477 (2002) ·Zbl 1027.68150号
[40] Xu，M。；Chen，L。；曾，Z。；李振斌，有理特征值线性系统可达性分析，国际系统科学杂志。科学。，41, 12, 1411-1419 (2010) ·Zbl 1206.93013号
[41] Xu，M。；Li，Z.-B。；Yang，L.，一类指数多项式公式的量词消除，J.Symb。计算。，68, 1, 146-168 (2015) ·Zbl 1382.03056号
[42] Xu，M。；Mu，C。；曾，Z。；Li，Z.-B.，多幂和正根隔离的启发式方法，J.Univers。计算。科学。，16, 14, 1912-1926 (2010) ·Zbl 1216.68349号
[43] Xu，M。；朱，J。；李，Z.-B.，关于可解系统可达性的一些可判定结果，国际遗传系统杂志。，42, 4, 405-425 (2013) ·Zbl 1278.93046号
[44] Yang，L.，用较少的数学解决更难的问题，（第十届亚洲数学技术会议（2005），ATCM Inc.），37-46
[45] 雅普，C。；萨格拉洛夫，M。；Sharma，V.，《解析根聚类：使用软零测试的完整算法》（Bonizzoni，P.；Brattka，V.；Löwe，B.，Proc.CiE 2013）。程序。CiE 2013，勒克特。注释计算。科学。，第7921卷（2013），施普林格），433-444·Zbl 1416.65068号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。