×
阿巴斯·埃达拉特

数学、物理和精确实数运算领域。 （英语） Zbl 0946.03055号

牛市。符号。日志。 3，第4期，401-452（1997）.
摘要：我们综述了连续域在数学中为经典空间（包括实线、基于可数的局部紧空间、完全可分度量空间、可分Banach空间和概率分布空间）提供简单计算模型方面的最新应用。本文展示了这些模型如何具有逻辑和有效的表示，以及如何在数学和物理的几个领域中使用它们给出计算框架。其中包括分形几何，其中获得了关于吸引子和不变分布的存在唯一性的新结果；测度与积分理论，其中发展了黎曼积分理论的推广；实数算法，其中制定了精确计算机算法的可行设置。我们给出了迭代函数系统理论中的一些计算算法，并将其应用于统计物理和混沌的倍周期路径；我们还展示了在精确实数算法中计算初等函数的有效算法。

引用于40文件

MSC公司：

03天80 可计算性和递归理论的应用
03-02 与数学逻辑和基础相关的研究展览（专著、调查文章）
第三天65 高级类型和集合递归理论
26A09号 基本功能
28A80型 分形
28立方厘米 在拓扑空间上设置函数和测度（测度的正则性等）
37D45号 奇异吸引子，双曲行为系统的混沌动力学
54层45 一般拓扑学中的维数理论
2005年第68季度 计算模型（图灵机等）（MSC2010）
68问题55 计算理论中的语义学
82-08 计算方法（统计力学）（MSC2010）

关键词：

调查；连续域；有效的陈述；分形几何；测量和集成；实数运算；精确计算机算法；算法；迭代函数系统；统计物理学；混乱；基本函数
PDF格式BibTeX公司 XML格式引用
\textit{A.Edalat}，公牛。符号。日志。3，第4号，401--452（1997；Zbl 0946.03055）
全文： DOI程序 链接 链接

参考文献：

[1] 估计自相关集的Hausdorff维数的算法（1996）
[2] 内政部：10.1006/inco.1995.1096·Zbl 0834.58029号 ·doi:10.1006/inco.1995.1096
[3] IEEE第十届计算机科学逻辑年会（1995年）
[4] MFPS 1会议记录（1995）
[5] IEEE第十二届计算机科学逻辑年会（1997年）
[6] 内政部：10.1016/0304-3975（95）00050-7·兹比尔0872.28006 ·doi:10.1016/0304-3975（95）00050-7
[7] 理论与形式方法1994：第二届帝国理工学院研讨会论文集（1995）
[8] 内政部：10.1016/0304-3975（77）90044-5·Zbl 0369.68006号 ·doi:10.1016/0304-3975（77）90044-5
[9] 实际分析和概率（1989）
[10] Mathematica Scandinavica 64第15页–（1989）·兹比尔0667.60001 ·doi:10.7146/math.scanda.a-12246
[11] 大学辅导员。科学。1 (1995)
[12] 区间分析（1966）
[13] 符号计算杂志（1996）
[14] 内政部：10.1016/0304-3975（81）90027-X·Zbl 0485.68040号 ·doi:10.1016/0304-3975（81）90027-X
[15] 技术报告63（1980）
[16] 内政部：10.1090/conm/050/841091·doi:10.1090/conm/050/841091文件
[17] DOI:10.1006/inco.1996.0014·Zbl 0916.54014号 ·doi:10.1006/inco.1996.0014
[18] 拓扑及其应用（1996）
[19] 内政部：10.1007/978-1-4612-3034-2_8·doi:10.1007/978-1-4612-3034-28
[20] 连续格及其相关主题27（1982）
[21] ACM关于lisp和函数编程的研讨会（1986年）
[22] 康普特斯·伦德斯240 pp 2478–（1955）
[23] 函数编程研究主题第43页–（1990）
[24] 数学科学研究所。出版物25，第251页–（1989）
[25] 数学物理中的概率方法，kinokuniya（1987）
[26] 计算机编程艺术2（1969）
[27] DOI:10.1016/0304-3975（84）90055-0·Zbl 0551.68047号 ·doi:10.1016/0304-3975（84）90055-0
[28] 内政部：10.1016/0304-3975（93）90072-2·Zbl 0779.06006号 ·doi:10.1016/0304-3975（93）90072-2
[29] 逻辑拓扑（1988）
[30] 计算机科学逻辑手册4 pp 357–（1995）
[31] 内政部：10.2307/2274527·兹比尔0662.03040 ·doi:10.2307/2274527
[32] 领域数学理论22（1994）
[33] 计算机科学逻辑手册，第5章（1992年）
[34] DOI:10.1016/S0168-0072（96）00017-6·Zbl 0867.03014号 ·doi:10.1016/S0168-0072（96）00017-6
[35] 自动化、语言和编程154（1983）
[36] 内政部：10.1016/0022-0000（78）90048-X·Zbl 0391.68011号 ·doi:10.1016/0022-0000（78）90048-X
[37] 建设性分析（1985）
[38] 内政部：10.1016/0304-3975（77）90045-7·兹比尔0429.03028 ·doi:10.1016/0304-3975（77）90045-7
[39] 晶格理论（1967）
[40] 内政部：10.1088/0305-4470/21/9/028·doi:10.1088/0305-4470/21/9/028
[41] 领域的笛卡尔闭范畴66（1989）
[42] 内政部：10.1016/0167-2789（93）90133-L·Zbl 0789.92001 ·doi:10.1016/0167-2789（93）90133-L
[43] 连分数：分析理论与应用（1980）·兹比尔0445.30003
[44] Byte Magazine第215页–（1988）
[45] 复杂函数（1987）
[46] 计算机制图（1988）·Zbl 0675.68002号
[47] 计算机科学中的逻辑第186页–（1989）
[48] 分形图像压缩（1993）
[49] 石头空间3（1982）·Zbl 0499.54001号
[50] DOI:10.1512/iumj.1981.30.30055·Zbl 0598.28011号 ·doi:10.1512/iumj.1981.30.30055
[51] DOI:10.1006/inco.1993.1039·Zbl 0789.68090号 ·doi:10.1006/inco.1993.1039
[52] IFIP分形学报90（1991）
[53] 整合的一般理论（1991）
[54] 不动点定理（1974）
[55] 自动化，语言和编程：1982年会议记录140（1982）
[56] 科学的逻辑、方法论和哲学IV第157页–（1973）
[57] 内政部：10.1007/BFb0073967·doi:10.1007/BFb0073967
[58] 伦敦皇家学会会刊A399第243页–（1985）
[59] 分析和物理中的可计算性（1988）
[60] 无处不在的分形（1993）
[61] 《lambda演算：语法和语义》（1984）
[62] 内政部：10.2307/2324899·Zbl 0758.58019号 ·doi:10.2307/2324899
[63] Padé近似法要点（1975）
[64] 内政部：10.1209/0295-5075/5/7/016·doi:10.1209/0295-5075/5/7/016
[65] 计算机科学逻辑手册3（1994）
[66] 一般拓扑及其应用论文806 pp 174–（1996）
[67] 纯逻辑与应用逻辑年鉴（1991）
[68] Informatik-Berichte 96-04（1996）
[69] 内政部：10.2977/prims/1195178796·Zbl 0618.54030号 ·doi:10.2977/prims/1195178796
[70] 编程语言的语义（1992）
[71] 数学基础44第61页–（1957）
[72] HAKMEM项目101B，麻省理工学院人工智能备忘录239（1972）
[73] Lebesgue、Denjoy、Perron和Henstock 4的积分（1994）
[74] 数学基础42 pp 168–（1955）
[75] 组合数学、复杂性和逻辑、离散数学和理论计算机科学第66页–（1997）
[76] 第24届国际自动机、语言和编程学术讨论会论文集（ICALP’97）（1997）·Zbl 1369.68020号
[77] 连分式分析理论（1973）
[78] 内政部：10.1006/inco.1996.0046·Zbl 0856.68080号 ·doi:10.1006/inco.1996.0046
[79] 内政部：10.1109/12.57047·数字对象标识代码：10.1109/12.57047
[80] 混沌动力系统导论（1989）·Zbl 0695.58002号
[81] 连续格纲要（1980）·Zbl 0452.06001号
[82] 程序设计语义学数学基础论文集13（1997）
[83] 分形图像压缩（1994）·兹比尔0903.68211
[84] DOI:10.1007/BF01107909·Zbl 0515.58028号 ·doi:10.1007/BF01107909
[85] 剑桥哲学学会数学会议录III第169页–（1992）
[86] 分形几何（1989）
[87] 内政部：10.1017/S0305004100064926·Zbl 0642.28005号 ·文件编号：10.1017/S0305004100064926
[88] IEEE第十二届计算机科学逻辑年会（1997年）
[89] 拓扑及其应用（1997）
[90] DOI:10.1016/0304-3975（95）00250-2·Zbl 0871.68034号 ·doi:10.1016/0304-3975（95）00250-2
[91] 代数与逻辑11 pp 367–（1972）
[92] 遍历理论与动力系统杂志7 pp 481–（1987）
[93] 理论计算机科学（1997）·Zbl 0876.68005号
[94] 内政部：10.1007/BF00880044·Zbl 0794.18003号 ·doi:10.1007/BF00880044
[95] 程序设计语义的数学基础论文集13 6（1997）
[96] 《物理学D》（1996）
[97] 计算理论和形式方法的进展：第三届帝国理工学院研讨会论文集第73页–（1996）
[98] 理论计算机科学（1996）·Zbl 0846.68002号
[99] 第十一届IEEE计算机科学逻辑年会（1996年）
[100] 内政部：10.1017/S0960129597002338·Zbl 0917.28013号 ·doi:10.1017/S0960129597002338
[101] 第十一届IEEE计算机科学逻辑年会（1996年）
[102] 内政部：10.1007/978-1-4471-3196-0_18·doi:10.1007/978-1-4471-3196-0_18
[103] 一维动力学（1993）
[104] 内政部：10.1017/S0960129597002363·Zbl 0985.54025号 ·doi:10.1017/S0960129597002363
[105] 《新物理学》（1989）
[106] 第四届普林斯顿信息科学与系统年会第169页–（1970）
[107] DOI:10.1016/0304-3975（80）90003-1·Zbl 0433.68017号 ·doi:10.1016/0304-3975（80）90003-1
[108] 真实与复杂分析（1966）·Zbl 0142.01701号
[109] 《美国国家科学院院刊》第83页，1975–（1985）
[110] 递归函数和有效可计算性理论（1967）·Zbl 0183.01401号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。