×
D.J.威尔逊。;R.J.布拉德福德。;J.H.达文波特。;英格兰，M。

圆柱代数子分解。 （英语） Zbl 1309.68232号

数学。计算。科学。 8，第2期，263-288（2014）.
摘要：圆柱代数分解（CAD）是实代数几何中的一个关键工具，主要用于消除实域上的量词和研究半代数集。本文介绍了柱面代数子分解（sub-CAD），它是CAD的子集，包含指定给定问题的解决方案所需的所有信息。我们定义了两种新类型的子CAD：品种子CAD，即CAD中位于指定品种上的单元；和分层子CAD，其中只有那些尺寸高于指定值的单元。我们提出了产生这些结果的算法，并描述了这两种方法如何相互结合，以及真实不变CAD的最新理论。我们给出了一个复杂性分析，表明这些技术可以提供大量的理论节约，这得到了在Maple中使用实现的实验的支持。

引用于9文件

理学硕士：

68瓦30 符号计算和代数计算
第14页 半代数集与相关空间
2014年第20季度 代数几何的有效性、复杂性和计算方面
65年第68季度 算法和问题复杂性分析

关键词：

柱面代数分解;实代数几何;等式约束;符号计算;计算机代数;复杂性分析;枫树

软件：

BranchCuts（分支切割）;枫树;QEPCAD公司;梅蒂塔斯基
PDF格式BibTeX公司 XML格式引用
\textit｛D.J.Wilson｝等人，《数学》。计算。科学。8，第2号，263--288（2014；Zbl 1309.68232）
全文： 内政部 arXiv公司

参考文献：

[1] Arnon D.，Collins G.E.，McCallum S.：圆柱代数分解I：基本算法。SIAM J.计算。13, 865-877 (1984) ·兹比尔0562.14001 ·数字对象标识代码：10.1137/0213054
[2] Backelin，J.：平方倍数n给出无穷多个循环n根。Matematiska Institutionen报告系列。斯托克霍姆斯大学（1989）
[3] Bradford，R.，Davenport，J.H.：更好地简化初等函数。摘自：《2002年国际社会科学院院刊》，第16-22页。ACM（2002）·Zbl 1072.68651号
[4] Bradford，R.，Davenport，J.H.，England，M.McCallum，S.，Wilson，D.：布尔组合的柱面代数分解。摘自：ISSAC’13会议录，第125-132页。ACM（2013）·兹比尔1359.68327
[5] Bradford，R.，Davenport，J.H.，England，M.，McCallum，S.，Wilson，D.：真值表不变量柱面代数分解。http://opus.bath.ac.uk/38146/（2014年提交，预印本）·Zbl 1351.68314号
[6] Bradford，R.，Davenport，J.H.，England，M.，Wilson，D.：优化圆柱代数分解的问题公式。在：Carette，J.，Aspinall，D.，Lange，C.，Sojka，P.，Windsteiger，W.智能计算机数学。LNCS，第7961卷，第19-34页。柏林施普林格出版社（2013）·兹比尔1390.68775
[7] Brown C.W.：柱面代数分解的改进投影。J.塞姆。计算。32(5), 447-465 (2001) ·Zbl 0981.68186号 ·doi:10.1006/jsco.2001.0463
[8] Brown C.W.：QEPCAD B概述：使用CAD计算半代数集的程序。ACM SIGSAM公牛。37(4), 97-108 (2003) ·Zbl 1083.68148号 ·数字对象标识代码：10.1145/968708.968710
[9] Brown，C.W.：麦卡伦投影、提升和有序变化。技术报告，美国海军学院计算机科学部（2005年）·Zbl 0554.51008号
[10] Brown，C.W.：在柱面代数分解中构造单个开放单元。摘自：ISSAC’13会议录，第133-140页。ACM（2013）·Zbl 1360.68924号
[11] Brown，C.W.，Davenport，J.H.：量词消除和柱面代数分解的复杂性。摘自：《2007年国际社会科学院院刊》，第54-60页。ACM（2007年）·Zbl 1190.68028号
[12] Brown C.W.，El Kahoui M.，Novotni D.，Weber A.：流行病建模中研究平衡的算法方法。J.塞姆。计算。41, 1157-1173 (2006) ·Zbl 1120.92034号 ·doi:10.1016/j.jsc.2005.09.011
[13] Brown，C.W.，McCallum，S.：关于在CAD构造中使用双方程约束。摘自：2005年ISSAC会议记录，第76-83页。ACM（2005）·Zbl 1360.68925号
[14] Burr，M.A.：连续摊销在基于二分法的根隔离中的应用。网址：http://arxiv.org/abs/1309.5991（2013年，预印本）·Zbl 0562.14001号
[15] Chen，C.，Moreno Maza，M.：计算柱面代数分解的增量算法。收录：ASCM’12会议记录。施普林格，柏林（2012年，预印本）。arXiv:1210.5543·Zbl 1352.68291号
[16] Chen，C.，Moreno Maza，M.，Xia，B.，Yang，L.：通过三角分解计算柱面代数分解。摘自：《2009年国际社会科学院院刊》，第95-102页。ACM（2009）·Zbl 1237.14068号
[17] Collins，G.E.：通过柱面代数分解消除实闭场的量词。摘自：第二届GI自动理论和形式语言会议记录，第134-183页。斯普林格。柏林（1975）·Zbl 1305.68367号
[18] Collins G.E.，Hong H.：量词消除的部分柱面代数分解。J.塞姆。计算。12, 299-328 (1991) ·Zbl 0754.68063号 ·doi:10.1016/S0747-7171（08）80152-6
[19] Davenport，J.H.：柱代数分解的计算机代数。技术报告TRITA-NA-8511，NADA KTH斯德哥尔摩。重新发布为Bath计算机科学技术报告88-10。http://staff.bath.ac.uk/masjhd/TRITA.pdf (1985) ·Zbl 1083.68148号
[20] Davenport J.H.：“钢琴手”问题。SIGSAM牛市。20（1-2），15-17（1986）·Zbl 0623.68036号 ·doi:10.1145/12917.12919
[21] Davenport，J.H.，Bradford，R.，England，M.，Wilson，D.：复数存在下的程序验证，具有分支切割的函数等。收录于：SYNASC’12会议录，第83-88页。IEEE（2012）·Zbl 0981.68186号
[22] Davenport J.H.，Heintz J.：实量词消除是双指数的。J.塞姆。计算。5(1-2), 29-35 (1988) ·Zbl 0663.03015号 ·doi:10.1016/S0747-7171（88）80004-X
[23] Dolzmann，A.、Seidl，A.、Sturm，T.：CAD的有效投影顺序。摘自：《2004年国际社会科学院院刊》，第111-118页。ACM（2004）·Zbl 1134.68575号
[24] 英格兰，M.：利用McCallum投影在Maple中实现CAD。巴斯大学计算机科学系技术报告系列2013-02。http://opus.bath.ac.uk/33180/ (2013) ·Zbl 0754.68063号
[25] England，M.：利用问题公式、方程约束和真实不变在Maple中实现CAD。巴斯大学计算机科学系技术报告系列2013-04。http://opus.bath.ac.uk/35636/(2013)
[26] 英格兰，M。；布拉德福德，R。；Davenport，J.H。；Wilson，D。；Carette，J.（编辑）；Aspinall，D.（编辑）；Lange，C.（编辑）；Sojka，P.（编辑）；Windsteiger，W.（编辑），《理解表达式的分支切割》，136-151（2013），柏林·Zbl 1390.68777号
[27] Fotiou，I.A.，Parrilo，P.A.，Morari，M.：使用柱面代数分解的非线性参数优化。摘自：《决策与控制》，2005年和2005年欧洲控制会议。CDC-ECC’05，第3735-3740页（2005）
[28] Hong，H.：圆柱代数分解中投影算子的改进。收录于：ISSAC’90会议记录，第261-264页。ACM（1990）
[29] Iwane，H.，Yanami，H，Anai，H.和Yokoyama，K.：量词消除的符号-数字柱面代数分解的有效实现。摘自：《2009年SNC会议记录》，第55-64页（2009年）·兹比尔1356.68282
[30] Malladi，H.K.，Dukkipati，A.：基于子句范式和虚拟替换的预处理器，用于并行化柱面代数分解。http://arxiv.org/abs/1112.5352v3（2013年，预印本）
[31] McCallum S.：使用柱面代数分解求解多项式严格不等式。计算。J.36（5），432-438（1993）·Zbl 0789.68080号 ·doi:10.1093/comjnl/36.5.432
[32] McCallum，S.：平面内路径搜索的计算机代数方法。摘自：Harland J.（编辑）《计算学报：澳大拉西亚理论研讨会》，第44-50页（1997年）
[33] McCallum，S.：柱面代数分解的改进投影操作。收录：Caviness，B.，Johnson，J.量词消除和柱面代数分解。符号计算的文本和专著，第242-268页。柏林施普林格（1998）·Zbl 0900.68279号
[34] McCallum，S.：关于带等式约束的基于CAD的量词消除中的投影。摘自：《1999年国际社会科学院院刊》，第145-149页。ACM（1999）·Zbl 0789.68080号
[35] McCallum，S.：关于基于CAD的量词消除中等式约束的传播。摘自：ISSAC’01会议记录，第223-231页。ACM（2001）·兹比尔1356.68287
[36] 保尔森，L.C。；Beringer，L.（编辑）；Felty，A.（编辑），《Metitarski：过去与未来》，1-10（2012），柏林·Zbl 1360.68765号 ·doi:10.1007/978-3642-32347-8_1
[37] Phisanbut N.、Bradford R.J.、Davenport J.H.：分支切割的几何学。ACM通信。计算。《代数》44（3），132-135（2010）·Zbl 1305.68367号
[38] Schwartz J.T.，Sharir M.：关于“钢琴运动者”问题：二。计算实代数流形拓扑性质的一般技术。高级申请。数学。4, 298-351 (1983) ·Zbl 0554.51008号 ·doi:10.1016/0196-8858（83）90014-3
[39] Seidl，A.，Sturm，T.：部分柱面代数分解的通用投影算子。摘自：ISSAC’03会议记录，第240-247页。ACM（2003）·兹比尔1072.68696
[40] 斯特泽波恩斯基A.：求解严格多项式不等式组。J.塞姆。计算。29(3), 471-480 (2000) ·Zbl 0962.68183号 ·doi:10.1006/jsco.1999.0327
[41] 斯特泽波恩斯基A.：使用验证数字的柱面代数分解。J.塞姆。计算。41(9), 1021-1038 (2006) ·Zbl 1124.68123号 ·doi:10.1016/j.jsc.2006.06.004
[42] 斯特泽波恩斯基，A.：用圆柱代数公式表示的半代数集进行计算。摘自：ISSAC’10会议记录，第61-68页。ACM（2010）·Zbl 1321.68543号
[43] 斯特泽波恩斯基，A.：求解柱代数公式表示的半代数集上的多项式系统。收录于：ISSAC’12会议记录，第335-342页。ACM（2012年）·Zbl 1308.68191号
[44] Wilson，D.，Davenport，J.H.，England，M.，Bradford，R.：重新制定的“钢琴舞者”问题。摘自：2013年SYNASC会议记录。IEEE（2013）
[45] Wilson，D.，England，M.：分层圆柱代数分解。巴斯大学计算机科学系技术报告系列2013-05。http://opus.bath.ac.uk/36712/ (2013)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。