Selivanova，S.V.公司。;Selivanov，V.L。 关于构造数域和偏微分方程解的可计算性。 （英语） Zbl 1406.35179号 多克。数学。 96，第3期，580-582（2017）; Dokl翻译。阿卡德。恶心，罗斯。阿卡德。Nauk 477，第3期，282-285（2017年）。 摘要：在本文中，我们发现了构造数域和可计算实域之间的联系。利用这一联系，通过数值分析中实际使用的算法，证明了一些重要偏微分方程组解在可计算分析的严格意义上的可计算性。 引用于1审查引用于三文件 MSC公司： 35L45英寸 一阶双曲方程组的初值问题 03D78号 实数计算，可计算分析 关键词：可计算实数 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Selivanova}和\textit{V.L.Selivanov}，Dokl。数学。96，第3号，580--582（2017；Zbl 1406.35179）；Dokl翻译。阿卡德。恶心，罗斯。阿卡德。Nauk 477，No.3，282--285（2017） 全文： 内政部 参考文献： [1] K.Weihrauch，可计算分析（Springer，柏林，2000）·Zbl 0956.68056号 ·doi:10.1007/978-3-642-56999-9 [2] V.Brattka、P.Hertling和K.Weihrauch，《新计算范式》（Springer，柏林，2008），第425-491页·Zbl 1145.03037号 ·doi:10.1007/978-0-387-68546-5_18 [3] 《递归数学手册》，Yu主编。L.Ershov（荷兰北部，阿姆斯特丹，1998年），卷。1, 2. ·Zbl 0930.03037号 [4] W.Kohn、A.Nerode和J.B.Remmel，《混合系统》（IEEE，纽约，1997），第122-141页·Zbl 0928.93028号 [5] 于。L.Ershov和S.S.Goncharov，《构造模型》（Nauchnaya Kniga，新西伯利亚，1999）[俄语]·Zbl 1043.03518号 [6] V.Stoltenberg-Hansen和J.V.Tucker，《可计算性理论手册》（Elsevier，纽约，1999），第363-447页·兹比尔0944.03040 ·doi:10.1016/S0049-237X（99）80028-7 [7] Friedrichs，K.O.，无文章标题，Commun。纯应用程序。数学。，7，345-392（1954年）·Zbl 0059.08902号 ·doi:10.1002/cpa.3160070206 [8] 多维气体动力学问题的数值解，S.K.Godunov编辑（Nauka，莫斯科，1976）[俄语]。 [9] S.K.Godunov，《数学物理方程》（Nauka，莫斯科，1971）[俄语]·Zbl 0232.65079号 [10] J.C.Strikverda，《有限差分格式和偏微分方程》（SIAM，纽约，2004）·Zbl 1071.65118号 ·数字对象标识代码：10.1137/1.9780898717938 [11] L.C.Evans，偏微分方程（美国数学学会，普罗维登斯，R.I.，1998）·Zbl 0902.35002号 [12] 于。S.Zav’yalov、B.I.Kvasov和V.L.Miroshnichenko，样条函数法（Fizmatgiz，莫斯科，1980）[俄语]·Zbl 0524.65007号 [13] Selivanova，S.V。；Selivanov，V.L.，无文章标题，J.环球公司。科学。，15, 1337-1364 (2009) ·Zbl 1203.03058号 [14] 齐格勒，M。；Brattka，V.，无文章标题，Lect。注释计算。科学。，2064, 378-388 (2001) ·doi:10.1007/3-540-45335-0_23 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。