×
乔治·E·柯林斯。；Hoon Hong

量词消除的部分柱面代数分解。 （英语） Zbl 0754.68063号

J.塞姆。计算。 第3期第12期，第299-328页（1991年）.
来自作者摘要：“圆柱代数分解法（CAD）分解\（R^n）到给定多项式具有常数符号的区域。CAD的一个重要应用是在初等代数和几何中消除量词。本文提出了一种将CAD构建与真值评估相结合的方法，以便只根据需要构建部分CAD以进一步进行真值评估，并在不需要进行更多真值评估时中止CAD构建。真值评估在本质上利用了存在的任何量词，并且还考虑了原子公式中缺少一些变量的情况。初步观察表明，新方法总是比原始方法更有效，而且通常效率更高”。
审核人：T.Pheidas（伊拉克利翁）

引用于4评论
引用于128文件

MSC公司：

68瓦30 符号计算和代数计算

关键词：

圆柱代数分解；量词消去法

软件：

QEPCAD公司
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Collins}和\textit{H.Hong}，J.Symb。计算。12，第3号，299--328（1991；Zbl 0754.68063）
全文： 内政部

参考文献：

[1] Arnon，D.S.，《半代数集的几何算法》，（威斯康星大学计算机科学系博士论文（1981），技术报告436
[2] Arnon，D.S.，《基于聚类的柱面代数分解算法》，J.符号比较。，5, 1,2, 189-212 (1988) ·Zbl 0648.68056号
[3] 阿农，D.S。；柯林斯，G.E。；McCallum，S.，《柱代数分解I：基本算法》，SIAM J.Comp。，13, 865-877 (1984) ·Zbl 0562.14001号
[4] Arnon，D.S。；米格诺特，M.，《关于初等代数和几何中的机械量词消除》，J.符号Comp。，5, 1,2, 237-260 (1988) ·Zbl 0644.68051号
[5] Buchberger，B。；柯林斯，G.E。；库兹勒，B.，《几何推理的代数方法》（1989年），手稿准备中
[6] Collins，G.E.，通过柱代数分解实现实闭场初等理论的量子化消元，（计算机科学讲义，33（1975），Springer-Verlag:Springer-Verlag Berlin），134-183·Zbl 0318.02051号
[7] 柯林斯，G.E。；Hong，H.，《计算最粗的无平方基和乘数》（技术报告OSU-CISRC-5/90 TR13（1990），俄亥俄州立大学计算机科学系）
[8] 柯林斯，G.E。；Johnson，J.，实际根隔离的量词消除和符号变化方法，（1989年ACM-SIGSAM符号和代数计算国际研讨会论文集（1989）），264-271
[9] 柯林斯，G.E。；Loos，R.，ALDES-SAC2计算机代数系统，技术报告（1980）
[10] Davenport，J.H。；Heintz，J.，实量词消除是双指数的，J.符号补偿。，5, 1,2 (1988) ·Zbl 0663.03015号
[11] Hong，H.，圆柱代数分解中投影算子的改进，（1990年符号与代数计算国际研讨会论文集（1990）），261-264
[12] Hong，H.，基于CAD的量词消除改进，（俄亥俄州立大学博士论文（1990））
[13] Hong，H.，改进的基于CAD的量词消除算法的碰撞问题，（技术报告RISC-Linz系列编号91-05.0，符号计算研究所（1991），林茨约翰内斯·开普勒大学：奥地利林茨约翰尼斯·开普尔大学）
[14] 洪，H。；Kuechlin，W.，通过柱代数分解的术语重写系统的终止证明（1990），手稿编制中
[15] Huet，G。；Oppen，D.，方程和重写规则，（形式语言理论，形式语言理论、观点和开放问题（1980），学术出版社：纽约学术出版社），349-405
[16] Lankford，D.S.，《关于证明术语重写系统是Noetherian的》（技术报告MTP-3（1979），数学）。路易斯安那理工大学系）
[17] Loos，R.，《代数扩展中的计算》（Buchberger，B.；Collins，G.E.；Loos，R，《计算机代数；代数和符号计算》（1982），Springer-Verlag），173-188·Zbl 0576.12001号
[18] McCallum，S.，圆柱代数分解的改进投影算子（1984年威斯康星大学博士论文）·Zbl 0900.68279号
[19] McCallum，S.，《使用柱面代数分解求解多项式严格不等式》（技术报告87-25.0，RISC-LINZ（1987），约翰内斯·开普勒大学：约翰内斯·凯普勒大学A-4040 LINZ，奥地利（欧洲））·Zbl 0789.68080号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。