×

一些基于格的科学问题,用Haskell表示。 (英语) Zbl 0861.68013号

摘要:本文探讨了惰性函数语言Haskell在一系列基于网格的科学问题中的应用——泊松方程的求解,以及统计和粒子物理两个理论模型的蒙特卡罗模拟。这些实现引入了网格拓扑的某些抽象,广泛利用了Haskell的多态特性。通过使用无限列表,利用语言的懒惰性,可以自然地表达更新。系统的演化由交互流的阵列表示。

MSC公司:

68甲15 编程语言理论
68瓦30 符号计算和代数计算

软件:

哈斯克尔
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 内政部:10.2307/2006422·Zbl 0373.65054号 ·doi:10.307/2006422
[2] 内政部:10.1017/S0956796800000320·Zbl 0824.65002号 ·doi:10.1017/S0956796800000320
[3] DOI:10.1016/0167-8191(92)90030-B·Zbl 0758.65002号 ·doi:10.1016/0167-8191(92)90030-B
[4] 威尔逊,《物理评论》,D:粒子与场,第10页,2445页–(1974)·doi:10.1103/PhysRevD.10.2445
[5] Vree,并行处理和应用(1987)
[6] DOI:10.1017/S0956796800000708·Zbl 05477250号 ·doi:10.1017/S0956796800000708
[7] 内政部:10.1063/1.1699114·数字对象标识代码:10.1063/1.1699114
[8] 刘,科学计算的函数编程(1993)
[9] 内政部:10.1088/0022-3719/6/7/010·doi:10.1088/0022-3719/6/7/010
[10] DOI:10.1103/RevModPhys.51.659·doi:10.1103/RevModPhys.51.659
[11] 费曼,量子力学和路径积分(1965)
[12] 法兰德斯,微分形式,及其在物理科学中的应用(1963)·Zbl 0112.32003号
[13] Davie,《使用Haskell的函数编程系统导论》(1992)·Zbl 0760.68003号
[14] Creutz、Quarks、Gluns和Lattices(1983)
[15] Cox,PARLE’92:并行架构和语言,欧洲,第497页–(1992)·doi:10.1007/3-540-55599-4_107
[16] 内政部:10.1145/135226.135231·数字对象标识代码:10.1145/135226.135231
[17] 阿姆斯特朗,《基本拓扑》(1983)·doi:10.1007/9781-4757-1793-8
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。