×

二元系统分离线性形式计算的改进算法。 (英语) Zbl 1325.68267号

Nabeshima,Katsusuke(编辑),第39届符号和代数计算国际研讨会论文集,ISSAC 2014,日本神户,2014年7月23日至25日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2501-1)。75-82 (2014).

MSC公司:

68瓦30 符号计算和代数计算
第13页,共15页 求解多项式系统;结果
65年第68季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] T.阿莱。数学逻辑。Iwanami Shoten,2011年。(日语)。
[2] A.教堂。关于Entscheidungs问题的注释。《符号逻辑杂志》,1:40 411936年·JFM 62.1058.04标准
[3] G.E.柯林斯。通过柱面代数分解对实闭elds进行Quanti.er消去。在自动化理论和形式语言第二届GI会议Kaiserslautern,计算机科学讲稿第33卷,第134183页。Springer-Verlag,1975年\"{}
[4] K.G“{}模型.Uber formal unnetscheidbare S”{}数学原理与系统一.Monatsheft f“{}ur Mathematik,38(1):173 1981931·JFM 57.0054.02号
[5] T·C·黑尔斯。乔丹曲线定理,形式上和非正式地。《美国数学月刊》,114(10):882 8942007·Zbl 1137.03305号
[6] H.Iwane、H.Yanami、H.Anai和K.横山。一种用于量化消除的符号-数字柱面代数分解的有效实现。《理论计算机科学》,479:43 692013年·兹比尔1291.68433
[7] T.松崎、H.Iwane、H.Anai和N。阿拉伊。数学问题的复杂性是语言的还是计算的?《第六届国际自然语言处理联合会议记录》,第73 81页,2013年。
[8] T.松崎、H.Iwane、H.Anai和N。H.Arai。最缺乏创造力的考生:走向广泛覆盖的自然语言数学问题解决的第一步。2014年第28届AAAI人工智能会议记录。(出现)。
[9] J.罗宾逊。算术中的可分辨性和决策问题。符号逻辑杂志,14(2):98 1141949·Zbl 0034.00801号
[10] M.斯蒂德曼。句法过程。布拉德福德出版社。米特出版社,2001年。
[11] A.W.斯特泽博(A.W.Strzebo)。使用验证的数值进行圆柱代数分解。符号计算杂志,41(9):1021 10382006·Zbl 1124.68123号
[12] A.塔斯基。初等代数和几何的一种判定方法。加利福尼亚大学出版社,伯克利,1951年·Zbl 0044.25102号
[13] A.图灵。关于可计算数字,以及对Entscheidungsproblem的应用。伦敦数学学会会刊,42:230 2651936·Zbl 0016.09701号
[14] A.N.Whitehead和B.A.W.Russell。数学原理。剑桥大学出版社,剑桥,1910年、1912年和1913年。
[15] L.维特根斯坦。哲学调查/哲学Untersuchungen。牛津:巴兹尔·布莱克威尔,1953年·Zbl 1028.03003号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。