×

兹马思-数学第一资源

关于奇摄动线性微分系统的约化。(英语) 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年·JFM公司 62.1058.04款
[3] G。E。柯林斯。实闭elds的柱代数分解量子化消元。《自动机理论与形式语言》第二届计算机科学大会凯泽斯劳滕会议,计算机科学课堂讲稿第33卷,第134183页。斯普林格·韦拉格,1975年
[4] K。“奥德尔。数学原理和系统的超级形式化。《马修马提克的莫纳谢夫特》,38(1):173 1981931年·JFM公司 57.0054.02
[5] T。C。黑尔斯。乔丹曲线定理,正式的和非正式的。美国数学月刊,114(10):882892007·Zbl公司 1137.03305
[6] H。伊万,H。Yanami,H。阿奈和K。横山。量子化消元的符号-数值柱面代数分解的一种有效实现。理论计算机科学,479:43 692013·Zbl公司 1291.68433
[7] T、 松崎、岩原、安奈和阿拉伊。数学问题的复杂性语言,还是计算?《第六届自然语言处理国际联席会议论文集》,第73 81页,2013年。
[8] T、 最缺乏创造力的考生:a。走向广泛覆盖的自然语言数学问题解决的第一步。2014年第28届AAAI艺术情报会议记录(待发表)。
[9] J。罗宾逊。算法中的可设计性与决策问题。符号逻辑杂志,14(2):981141949·Zbl公司 34.00801
[10] M。斯泰德曼。句法过程。布拉德福德图书。麻省理工学院出版社,2001年。
[11] A。W。斯特尔泽博恩斯基。使用有效数值的柱面代数分解。符号计算杂志,41(9):102110382006·Zbl公司 1124.68123
[12] A。塔斯基。初等代数和几何的一种判定方法。加州大学出版社,伯克利,1951年·Zbl公司 44.25102
[13] A。图灵。关于可计算数,以及Entscheidungsproblem的应用程序。伦敦数学学会会刊,42:230 2651936年·Zbl公司 16.09701
[14] A。N。怀特黑德和B。A。W。拉塞尔。数学原理。剑桥大学出版社,剑桥,1910年,1912年和1913年。
[15] L。维特根斯坦。哲学研究/Physische Untersuchungen。牛津:巴兹尔·布莱克威尔,1953年·Zbl公司 1028.03003
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。