×
赖一生;王仁宏;吴金明

求解参数分段多项式系统。 （英语） Zbl 1251.65075号

J.计算。申请。数学。 236，第5期，924-936（2011）.
本文建立了整域上具有不同光滑度的分段多项式函数的基本理论，并给出了求解零维参数分段多项式系统的理论和方法。它表明，求解这样一个系统相当于求解（m）参数半代数系统，然后将其简化为计算（m）判别簇。这里，（m）是域遗传分区中（n）维细胞的数量。利用临界点法和Collins部分柱面代数分解法最终求解参数分段多项式系统。
本文还提出了一种分类方法及其算法，以解决参数域中是否存在开集的问题，从而对于开集中的每个点，对应的零维非参数分段多项式系统（参数分段多项式的实现）分别在\（m\）单元中具有给定数量的无扭转实零。
审核人：陈燕来（北达特茅斯）

引用于7文件

MSC公司：

65H10型 方程组解的数值计算
2010年第14季度 代数曲面的计算方面
65小时05 单方程解的数值计算
第13页，共15页 求解多项式系统；结果

关键词：

分段多项式;参数分段多项式系统;参数半代数系统;判别变种;实数零的个数;柱面代数分解法;算法

软件：

发现者;QEPCAD公司;RAGlib公司
PDF格式BibTeX公司 XML格式引用
\textit{Y.Lai}等人，J.Compute。申请。数学。236，第5号，924--936（2011；Zbl 1251.65075）
全文： 内政部

参考文献：

[1] 雅克·博赫纳克；米歇尔·科斯特；Roy，Marie Francoise，实代数几何（1998），施普林格·Zbl 0912.14023号
[2] S.Basu，R.Pollack，M.F.Roy，《实代数几何中的算法》，精装本，2006年。；S.Basu、R.Pollack、M.F.Roy，《实代数几何中的算法》，精装本，2006年·Zbl 1102.14041号
[3] 考克斯·D。；利特尔，J。；O'Shea，D.，《使用代数几何》（1998），Springer-Verlag:Springer-Verlag纽约·Zbl 0920.13026号
[4] Lai，Y.S。；Wang，R.H。；Wu，J.M.，零维参数分段代数簇的实零点，科学。中国Ser。A： 数学。，第52页，第4817-832页（2009年）·Zbl 1177.14096号
[5] Wang，R.H。；赖永生，实分段代数簇，J.Compute。数学。，21, 4, 473-480 (2003) ·Zbl 1080.14547号
[6] Wang，R.H。；石晓秋。；罗，Z.X。；Su，Z.X.，《多元样条及其应用》（2001），科学出版社，Kluwer出版社：科学出版社，Kluwer Pub。北京、纽约
[7] Lai，Y.S。；Wang，R.H.，分段代数曲线的Nöther和Riemann-Roch型定理，科学。中国Ser。A： 数学。，2, 165-182 (2007) ·Zbl 1115.14054号
[8] Wang，R.H.，多元样条曲线的结构特征和插值，数学学报。Sinica，18，91-106（1975）·Zbl 0358.41004号
[9] 卢，杨；侯晓荣；Xia，B.C.，一类不等式型定理自动发现的完整算法，科学。中国Ser。F、 44、1、33-49（2001）·Zbl 1125.68406号
[10] 夏，公元前。；Lu，Yang，一种分离半代数系统实解的算法，J.符号计算。，34, 461-477 (2002) ·兹比尔1027.68150
[11] Collins，G.E.，（《圆柱代数分解实闭场的量化器消去》，《圆柱代数分解实闭场的量化器消去》，计算机科学讲义，第33卷（1975年），春季）·Zbl 0318.02051号
[12] 柯林斯，G.E。；Hong，H.，量词消去的部分圆柱代数分解，符号计算。，12, 299-328 (1991) ·Zbl 0754.68063号
[13] Brown，C.W.，《简单CAD构造及其应用》，J.符号计算。，31, 521-547 (2001) ·Zbl 0976.65023号
[14] 拉扎德，D。；Rouillier，F.，《求解参数多项式系统》，J.符号计算。，42, 6, 636-667 (2007) ·Zbl 1156.14044号
[15] J.-C.Faugere，G.Moroz，F.Rouiller，M.Safey El-Din，透视三点问题的分类，判别多样性和实解多项式不等式系统，收录于：D.Jeffrey（Eds），ISSAC 2008 Proceedings，Austria，Hagenberg，2008。；J.-C.Faugere，G.Moroz，F.Rouiller，M.Safey El-Din，透视三点问题的分类，判别多样性和实解多项式不等式系统，收录于：D.Jeffrey（Eds），ISSAC 2008 Proceedings，奥地利，Hagenberg，2008。
[16] M.Safey EI Din，E.Schost.，光滑实代数集每个连通分量中一点的极性变化和计算，见：J.R.Sendra（编辑），2003年符号和代数计算国际研讨会，ISSAC’2003，美国费城，ACM出版社，2003年，第224-231页。；M.Safey EI Din，E.Schost，光滑实代数集的极变分和每个连通分量中一点的计算，J.R.Sendra（编辑），2003年符号和代数计算国际研讨会，ISSAC’2003，美国费城，ACM出版社，2003年，第224-231页·Zbl 1072.68693号
[17] EI Din，M.Safey；Schost，E.，投影函数的性质缺陷和实代数集每个连通分量中至少一个点的计算，离散计算。地理。，32, 3, 417-430 (2004) ·Zbl 1067.14057号
[18] Corvez，S。；Rouillier，F.，《使用计算机代数工具对串行机械手进行分类》，（《几何中的自动演绎》，《几何学中的自动推导》，《人工智能讲义》，第2930卷（2003），Springer），31-43·Zbl 1202.68489号
[19] 罗宾·哈特肖恩（Robin Hartshorne），《代数几何》（1977），斯普林格·弗拉格：纽约斯普林格尔·弗拉格出版社·Zbl 0367.14001号
[20] Wang，D.M.，《计算三角系统和正则系统》，J.符号计算。，30, 221-236 (2000) ·Zbl 1007.65039号
[21] Wang，D.M.，消除方法（2001），Springer:Springer-Wien，纽约·Zbl 0964.13014号
[22] S.Liang，J.Gerhard，D.Jeffrey，求解参数多项式系统的新maple包，收录于：MACIS，2007。；S.Liang，J.Gerhard，D.Jeffrey，求解参数多项式系统的新maple包，收录于：MACIS，2007年。
[23] 夏，B.C.，《发现者：求解半代数系统的工具》，ACM SIGSAM Bull。，41，3102-103（2007），ISSAC 2007软件演示，滑铁卢，2007年7月30日。也：
[24] 夏，公元前。；Hou，X.R.，计算多项式方程组和不等式组实解的完整算法，计算。数学。申请。，44, 633-642 (2002) ·Zbl 1035.65054号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。