×

打开弱CAD及其应用程序。 (英语) Zbl 1410.68410号

小结:介绍了开放式弱CAD的概念。每个开放的CAD都是一个开放的弱CAD。相反,开放的弱CAD不一定是开放的CAD。提出了一种计算开放弱CAD投影多项式的算法。其核心思想是计算不同投影顺序生成的投影因子集的交集。生成的开放式弱CAD通常比开放式CAD具有更少的采样点。该算法可用于计算给定多项式(f)的所有开连接分量的采样点。它还可以用于许多其他应用,例如测试多项式的半确定性和共正问题。事实上,我们使用该算法有效地解决了几个困难的半确定性问题。此外,将该算法应用于共正问题,我们找到了在某些条件下生成开放弱CAD的多项式的显式表达式,这大大提高了求解共正问题的效率。

MSC公司:

68瓦30 符号计算和代数计算
14第05页 实代数集
2010年第14季度 代数曲面的计算方面
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 阿奈,H。;Weispfenning,V.,使用实量词消除的Reach集计算,(HSCC(2001)),63-76·Zbl 0991.93008号
[2] 安德森,L.-E。;Chang,G.等人。;Elfving,T.,使用单纯形和重心坐标的正割矩阵的准则,线性代数应用。,220, 9-30 (1995) ·Zbl 0826.15016号
[3] 巴苏,S。;波拉克,R。;罗伊,M.-F.,《关于量词消去的组合和代数复杂性》,J.ACM,43,6,1002-1045(1996)·Zbl 0885.68070号
[4] 巴苏,S。;波拉克,R。;Roy,M.-F.,在多项式族定义的每个单元中找到一个点的新算法,(量词消除和柱形代数分解(1998),Springer),341-350·Zbl 0900.68278号
[5] Bochnak,J。;Coste,M。;Roy,M.-F.,《实代数几何》,第36卷(2013),斯普林格科学与商业媒体
[6] Brown,C.,《圆柱代数分解的改进投影》,J.Symb。计算。,32, 5, 447-465 (2001) ·Zbl 0981.68186号
[7] 陈,C。;Maza,M.M.,正则库中的圆柱代数分解,(数学软件-ICMS 2014)。数学软件——ICMS 2014,计算机科学课堂讲稿,第8592卷(2014年),第425-433页·Zbl 1437.14007号
[8] Collins,G.E.,通过柱面代数分解消除实闭域的量词,(自动机理论和形式语言,自动机理论与形式语言,第二届GI会议,凯泽斯劳滕,1975年5月20日至23日,斯普林格),134-183
[9] Collins,G.E.,通过圆柱代数分解消除量词——二十年的进展,(量词消除和圆柱代数分解(1998),Springer),8-23·Zbl 0900.03053号
[10] 柯林斯,G.E。;Hong,H.,量词消除的部分柱面代数分解,J.Symb。计算。,12, 3, 299-328 (1991) ·Zbl 0754.68063号
[11] 福盖尔,J.-C。;莫罗兹,G。;罗利尔,F。;El Din,M.S.,透视三点问题、判别多样性和实解多项式不等式组的分类,(第二十届第一届符号和代数计算国际研讨会论文集(2008),ACM),79-86·Zbl 1487.68235号
[12] Hadeler,K.,关于共正矩阵,线性代数应用。,49, 79-89 (1983) ·Zbl 0506.15016号
[13] Han,J.,《初等不等式证明导论》,第123卷(2011),哈尔滨工业大学出版社
[14] Han,J.,《多元判别和迭代结果》,《数学学报》。罪。英语。序列号。,32, 6, 659-667 (2016) ·Zbl 1382.13004号
[15] Han,J。;戴,L。;Xia,B.,在CAD投影中通过GCD计算构建更少的开放单元,(国际社会科学院刊2014(2014),ACM),240-247·Zbl 1325.68286号
[16] Han,J。;Z.Jin。;Xia,B.,通过简化的CAD投影证明不等式和解决全局优化问题,J.Symb。计算。,72, 206-230 (2016) ·Zbl 1337.90052号
[17] 希里亚特·乌鲁蒂,J.-B。;Seeger,A.,《共正矩阵的变分方法》,SIAM Rev.,52,4,593-629(2010)·兹伯利1207.15037
[18] Hong,H.,圆柱代数分解中投影算子的改进,(符号与代数计算国际研讨会(ISSAC-90)(1990),ACM),261-264
[19] Hong,H.,基于圆柱代数分解的量词消除中的简单解公式构造,(符号和代数计算国际会议ISSAC-92(1992)),177-188·Zbl 0919.03029号
[20] Hong,H。;Safey El Din,M.,变异量词消除,J.Symb。计算。,47,7883-901(2012年7月)
[21] 里斯卡,R。;Steinberg,S.,将量词消除应用于差分格式的稳定性分析,计算。J.,36,5497-503(1993年)·Zbl 0780.68075号
[22] McCallum,S.,圆柱代数分解的改进投影算子(1984),威斯康星大学麦迪逊分校博士论文
[23] McCallum,S.,《三维空间柱面代数分解的改进投影操作》,J.Symb。计算。,5, 1, 141-161 (1988) ·Zbl 0648.68054号
[24] McCallum,S.,圆柱代数分解的改进投影操作,(量词消除和圆柱代数分解(1998),Springer),242-268·Zbl 0900.68279号
[25] McCallum,S.,《基于CAD的等式约束量词消除中的投影》(Proc.ISSAC(1999)),145-149
[26] Murty,K.G。;Kabadi,S.N.,《二次和非线性规划中的一些NP-完全问题》,数学。程序。,39, 2, 117-129 (1987) ·Zbl 0637.90078号
[27] Parrilo,P.A.,结构化半定程序和鲁棒性和优化中的半代数几何方法(2000),CIT,博士论文
[28] Renegar,J.,《关于实域一阶理论的计算复杂性和几何》,J.Symb。计算。,13, 3, 255-352 (1992) ·Zbl 0798.68073号
[29] Safey El Din,M.,多元多项式符号条件的测试与应用,数学。计算。科学。,1, 1, 177-207 (2007) ·Zbl 1126.14068号
[30] Safey El Din,M。;埃利桑那州斯科斯特。,光滑实代数集每个连通分量中一个点的极变分和计算,(Proc.ISSAC’2003(2003),ACM),224-231·Zbl 1072.68693号
[31] 斯特泽波恩斯基,A.,《严格多项式不等式组的求解》,J.Symb。计算。,29, 3, 471-480 (2000) ·Zbl 0962.68183号
[32] Strzebonski,A.,《使用验证数值的圆柱代数分解》,J.Symb。计算。,41, 9, 1021-1038 (2006) ·Zbl 1124.68123号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。