×

兹马思-数学第一资源

关于奇摄动线性微分系统的约化。(英语) Zbl 1325.68294
Nabeshima,Katsuke(编辑),《第39届符号与代数计算国际研讨会论文集》,ISSAC 2014,神户,2014年7月23-25日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-2501-1)。320-327(2014年)。

理学硕士:
68立方厘米 符号计算与代数计算
34A30型 一般线性常微分方程组
34E20型 奇异摄动,转向点理论,常微分方程WKB方法
PDF格式 BibTeX公司 XML 引用
参考文献:
[1] T、 阿拉伊。数理逻辑。Iwanami Shoten,2011年。(日语)。
[2] A、 教堂。关于entscheidungsp问题的注记。《符号逻辑杂志》,1:40 41,1936年。·京FM 62.1058.04
[3] G、 科林斯。实闭elds的柱代数分解量子化消元。《自动机理论与形式语言》第二届计算机科学大会凯泽斯劳滕会议,计算机科学课堂讲稿第33卷,第134-183页。斯普林格·韦拉格,1975年。\"
[四] K、 “奥德尔。《数学原理与系统论》,第38卷第1期:第173页,第1931页。·JFM 57.0054.02
[5] T、 C.黑尔斯。乔丹曲线定理,正式的和非正式的。美国数学月刊,114(10):882892007。·Zbl 1137.03305号
[6] H、 岩原、柳井真司、安奈和横山由纪夫。量子化消元的符号-数值柱面代数分解的一种有效实现。理论计算机科学,479:43 692013。·Zbl 1291.68433
[7] T、 松崎、岩原、安奈和阿拉伊。数学问题的复杂性语言,还是计算?《第六届自然语言处理国际联席会议论文集》,第73 81页,2013年。
[8] T、 最缺乏创造力的考生:a。走向广泛覆盖的自然语言数学问题解决的第一步。第28届AAAI艺术情报会议记录,2014年。(出现)。
[9] J、 罗宾逊。算法中的可设计性与决策问题。符号逻辑杂志,14(2):981141949。·Zbl 0034.00801
[10] M、 斯泰德曼。句法过程。布拉德福德图书。麻省理工学院出版社,2001年。
[11] A、 斯特兹博恩斯基。使用有效数值的柱面代数分解。符号计算杂志,41(9):102110382006。·68ZB123号
[12] A、 塔斯基。初等代数和几何的一种判定方法。加州大学出版社,伯克利,1951年。·Zbl 0044.25102
[13] A、 图灵。关于可计算数,以及Entscheidungsproblem的应用程序。伦敦数学学会会刊,42:230 2651936年。·Zbl 0016.09701
[14] A、 怀特黑德和B.A.W.罗素。数学原理。剑桥大学出版社,剑桥,1910年,1912年和1913年。
[15] 五十、 维特根斯坦。哲学研究/Physische Untersuchungen。牛津:巴兹尔·布莱克威尔,1953年。·Zbl 1028.03003
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。