×
梁松欣;大卫·J·杰弗里。

自动计算参数多项式的完整根分类。 （英语） Zbl 1186.12003年

J.塞姆。计算。 44，第10期，1487-1501（2009）.
作者对其计算完整根分类（CRC）的算法进行了改进具有实参数系数的一元多项式的计算方法[一种计算参数多项式的完整根分类的算法。人工智能和符号计算。第八届国际会议，AISC 2006，中国北京，2006年9月20日至22日。诉讼程序。柏林：斯普林格。人工智能讲义，计算机讲义。科学。4120, 116–130 (2006;Zbl 1156.68632号)]. 这一改进主要包括直接使用“标志列表”，而不是“修订的标志列表”。第二个改进是通过测试无关的情况（空条件）来简化生成的条件集。
作者讨论了CRC计算中判别序列、主Sturm-Habicht系数序列、主和有符号子苏丹系数序列的等价性。他们还回顾了不同作者以前的一些算法，并给出了一些稀疏的示例。
审核人：大卫·塞维利亚（林茨）

引用于三文件

理学硕士：

2005年12月 场论和多项式的计算方面（MSC2010）
68瓦30 符号计算和代数计算

关键词：

完全根分类;参数多项式;实量词消去;实根;次苏丹多项式

引文：

Zbl 1156.68632号

软件：

QEPCAD公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Liang}和\textit{D.J.Jeffrey}，J.Symb。计算。44，第10号，1487--1501（2009；Zbl 1186.12003）
全文： 内政部

参考文献：

[1] Abdeljaoued，J。；Diaz-Toca，G.M。；Gonzalez-Vega，L.，Bezout矩阵的小调，多项式最大公约数的次结果和参数化，国际计算机数学杂志，811223-1238（2004）·Zbl 1063.65020号
[2] Arnon，D.S.，《逻辑和代数的几何推理》，《人工智能》，第37期，第37-60页（1988年）·Zbl 0705.68086号
[3] 巴苏，S。；波拉克，R。；Roy，M.-F.，《实代数几何中的算法》（2003），斯普林格·弗拉格出版社·Zbl 1031.14028号
[4] Brown，C.W.，QEPCAD B:使用CAD计算半代数集的程序，ACM SIGSAM Bulletin，37，97-108（2004）·Zbl 1083.68148号
[5] Colagrossi，A。；Miola，A.M.，用参数系数计算多项式的实零点，ACM SIGSAM Bulletin，17，12-15（1983）·Zbl 0507.65014号
[6] Collins，G.E.，《次结果和简化多项式余数序列》，《计算机协会杂志》，第14期，第128-142页（1967年）·Zbl 0152.35403号
[7] Davenport，J.H。；Heintz，J.，实量词消除是双指数的，符号计算杂志，5，29-36（1988）·Zbl 0663.03015号
[8] Gonzalez-Vega，L.，解决一些量词消除问题的组合算法，（Caviness，B.F.；Johnson，J.R.，量词消除和柱面代数分解（1998），Springer-Verlag），365-375·Zbl 0900.68277号
[9] Gonzalez-Vega，L。；伦巴第，H。；雷西奥，T。；Roy，M.-F.，Sturm-Habicht序列，单变量多项式的行列式和实根，（Caviness，B.F.；Johnson，J.R.，Quantifier Elimination and圆柱形代数分解（1998），Springer Verlag），300-316·Zbl 0900.12002号
[10] Habicht，V.W.，Eine Verallgemeinerung des Sturmschen Wurzelzahlverfahrens，Commentarii Mathematici Helvetici，21，99-116（1948）·Zbl 0029.24402号
[11] 海因茨，J。；罗伊，M.-F。；Solerno，P.，《论现实存在论的理论和实践复杂性》，《计算机杂志》，36，5，427-431（1993）·Zbl 0780.68058号
[12] Hong，H.，二次方程约束公式的量词消去，（ISSAC’93 Proceedings（1993），ACM Press），264-274·Zbl 0964.68596号
[13] 杰弗里·D·J。；Corless，R.M.，《Maple中的线性代数》（Hogben，L.，CRC线性代数手册（2006）），第72章·兹伯利0693.76044
[14] Liang，S。；Jeffrey，D.J.，计算参数多项式完整根分类的算法，（计算机科学讲义，第4120卷（2006）），116-130·Zbl 1156.68632号
[15] Liang，S。；张杰，复系数多项式的完备判别系统及其自动生成，中国科学（E辑），42113-128（1999）·Zbl 0949.12002号
[16] Lickteig，T。；Roy，M.F.，Sylvester-Habicht序列和快速Cauchy指数计算，符号计算杂志，31315-341（2001）·Zbl 0976.65043号
[17] 伦巴第，H。；罗伊，M.F。；Safely el Din，M.，子结果的新结构定理，符号计算杂志，29663-689（2000）·Zbl 0973.12007号
[18] Rouillier，F.，2005年。关于求解参数系统。参加：符号计算软件中线性代数和多项式代数挑战研讨会。班夫国际研究中心；Rouillier，F.，2005年。关于求解参数系统。参加：符号计算软件中线性代数和多项式代数挑战研讨会。班夫国际研究中心
[19] Sylvester，J.J.，《关于两个有理积分函数的合成关系的理论，包括Sturm函数理论和最大代数公共测度理论的应用》，伦敦皇家学会学报，143，407-548（1853）
[20] Yang，L.，确定参数多项式实根数的最新进展，符号计算杂志，28225-242（1999）·Zbl 0957.65041号
[21] Yang，L。；侯，X。；曾中，《多项式的完全判别系统》，《中国科学》（E辑），39628-646（1996）·Zbl 0866.68104号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。