Diatta,Daouda Niang女士;法布里斯·鲁利耶;玛丽·弗朗索瓦斯·罗伊 关于平面曲线拓扑的计算。 (英语) Zbl 1325.68273号 Nabeshima,Katsusuke(编辑),第39届符号和代数计算国际研讨会论文集,ISSAC 2014,日本神户,2014年7月23日至25日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2501-1)。130-137 (2014). 引用于4文件 MSC公司: 68瓦30 符号计算和代数计算 05年10月 平面图;图论的几何和拓扑方面 14时50分 平面和空间曲线 14第25页 实代数簇的拓扑 2005年第14季度 代数曲线的计算方面 第68季度25 算法和问题复杂性分析 关键词:代数曲线;精确拓扑计算 软件:乔丹 PDF格式BibTeX公司 XML格式引用 \textit{D.N.Diatta}等人,in:第39届符号和代数计算国际研讨会论文集,ISSAC 2014,日本神户,2014年7月23日至25日。纽约州纽约市:计算机协会(ACM)。130-137(2014;Zbl 1325.68273) 全文: 内政部 哈尔 参考文献: [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.Yokoyama。一种用于量化消除的符号-数字柱面代数分解的有效实现。《理论计算机科学》,479:43 692013年·Zbl 1291.68433号 [7] T.松崎、H.Iwane、H.Anai和N。阿拉伊。数学问题的复杂性是语言的还是计算的?《第六届国际自然语言处理联合会议记录》,第73 81页,2013年。 [8] T.松崎、H.Iwane、H.Anai和N。H.阿拉伊。最缺乏创造力的考生:走向广泛覆盖的自然语言数学问题解决的第一步。2014年第28届AAAI人工智能会议记录。(出现)。 [9] J.罗宾逊。算术中的可解性和决策问题。符号逻辑杂志,14(2):98 1141949·Zbl 0034.00801号 [10] M.斯蒂德曼。句法过程。布拉德福德出版社。Mit出版社,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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。