×
克里斯托弗·布朗（Christopher W.Brown）。

圆柱代数分解的改进投影。 （英语） Zbl 0981.68186号

J.塞姆。计算。 32，第5期，447-465（2001）.
小结：McCallum的圆柱代数分解（CAD）投影算子代表了CAD算法实用化的一大步。本文提出了一个简单的定理，表明McCallum论文中的数学实际上指向了一个比他提出的更好的投影算子——简化McCallun投影。减少的投影有可能不仅加快目前在实践中可以解决的问题的CAD计算，而且实际上增加了可以通过CAD实际攻击的问题的范围。此外，使用相同的方法表明，当CAD应用于某些类型的常见量词消除问题时，McCallum的投影可以进一步减少。

引用于三评论
引用于37文件

MSC公司：

68瓦30 符号计算和代数计算
03C10号机组 量词消除、模型完整性和相关主题

关键词：

柱面代数分解

软件：

QEPCAD公司;隔离
PDF格式BibTeX公司 XML格式引用
\textit{C.W.Brown}，J.Symb（英国作家）。计算。32，编号5447-465（2001年；兹bl 0981.68186）
全文： DOI程序 链接

参考文献：

[1] Arnon，D.S。；柯林斯，G.E。；McCallum，S.，《柱代数分解I：基本算法》，SIAM J.Compute。，13, 865-877 (1984) ·Zbl 0562.14001号
[2] P.Aubry、F.Rouiller、M.Safey El-Din；P.Aubry、F.Rouiller、M.Safey El-Din
[3] Brown，C.W.，真不变柱面代数分解的简化，符号与代数计算国际研讨会论文集（1998），第295-301页·Zbl 0918.68058号
[4] Caveness，B.F。；Johnson，J.R.eds.，量化消除和柱面代数分解，符号计算中的文本和专著（1998），施普林格：施普林格维也纳
[5] Collins，G.E.，《圆柱代数分解实闭域初等理论的量词消除》（1975年重印于Caviness and Johnson（1998）），施普林格：柏林施普林格出版社，第134-183页·Zbl 0318.02051号
[6] Collins，G.E.，通过圆柱形代数分解进行的量词消除——20年的进步，（Caviness，B.；Johnson，J.，量词消除和圆柱形代数分解，符号计算中的文本和专著（1998），施普林格：施普林格-维也纳）·Zbl 0900.03053号
[7] 柯林斯，G.E。；Hong，H.，量词消除的部分柱面代数分解，J.Symb。计算。，12, 299-328 (1991) ·Zbl 0754.68063号
[8] Gelfand，I.M。；卡普兰诺夫，M.M。；Zelevinsky，A.V.，《判别、结果和多维决定因素》（1994），施普林格出版社：施普林格-柏林·Zbl 0827.14036号
[9] Grigor'ev，D.Yu。，决定塔斯基代数的复杂性，J.Symb。计算。，5, 65-108 (1988) ·Zbl 0689.03021号
[10] Hong，H.，基于圆柱代数分解的量词消除中的简单解公式构造，符号和代数计算国际研讨会论文集（1992），p.177-188·Zbl 0919.03029号
[11] Hong，H。；里斯卡，R。；Steinberg，S.，通过量词消除测试稳定性，J.Symb。计算。，24，161-187（1997年量词消除应用专刊）·Zbl 0886.65087号
[12] Lazard，D.，量词消除：两个经典示例的最佳解决方案，J.Symb。计算。，5, 261-266 (1988) ·Zbl 0647.03023号
[13] Lazard，D.，圆柱代数分解的改进投影，（Bajaj，C.L.，代数几何及其应用（1994年Abhyankar 60岁生日会议论文集），施普林格：施普林格柏林），467-476·Zbl 0822.68118号
[14] S.McCallum，1984年；S.McCallum，1984年
[15] McCallum，S.，《三维空间柱面代数分解的改进投影操作》，J.Symb。计算。，5, 141-161 (1988) ·Zbl 0648.68054号
[16] McCallum，S.，圆柱代数分解的改进投影算子，（Caviness，B.；Johnson，J.，量词消除和圆柱代数分解，符号计算中的文本和专著（1998），Springer-Verlag:Springer-Verlag Vienna）·Zbl 0900.68279号
[17] McCallum，S.，《基于CAD的等式约束量词消除中的投影》（Dooley，Sam，符号和代数计算国际研讨会论文集（1999）），145-149
[18] Renegar，J.，《关于实一阶理论的计算复杂性和几何》，第一部分至第三部分，J.Symb。计算。，13, 255-352 (1992) ·兹比尔0798.68073
[19] Rouillier，F.，通过有理单变量表示求解零维系统，J.Appl。代数工程，公共。计算。，9, 433-461 (1999) ·Zbl 0932.12008号
[20] Strzebonski，A.，《严格多项式不等式组的求解》，J.Symb。计算。，29, 471-480 (2000) ·Zbl 0962.68183号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。