×

数学物理中的高精度算法。 (英语) Zbl 1318.65025号

摘要:对于许多科学计算,尤其是那些涉及经验数据的计算,IEEE 32位浮点运算可以产生足够准确的结果,而对于其他应用,IEEE 64位浮点运算更为合适。但对于一些要求很高的应用,通常需要更高级别的精度。本文从数学物理的角度讨论了高精度计算的挑战,并根据计算机体系结构的新发展,强调了支持未来计算所需的设施。

MSC公司:

65G99型 误差分析和区间分析
65天32分 数值求积和体积公式
65号06 含偏微分方程边值问题的有限差分方法
35J05型 拉普拉斯算子、亥姆霍兹方程(约化波动方程)、泊松方程
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 斯托登(Stodden),《计算科学出版标准:将默认设置为可复制”,SIAM News 46 pp 4–(2013)
[2] http://www.davidhbailey.com/dhbpapers/icerm-report.pdf
[3] 他,《使用精确的算术提高并行应用中的数值再现性和稳定性》,J.Supercomput。第18页,第259页–(2001年)·Zbl 0979.68625号 ·doi:10.1023/A:1008153532043
[4] Robey,在并行编程中寻求数值一致性,并行计算。第37页,第217页–(2011年)·Zbl 05920505号 ·doi:10.1016/j.parco.2011.02.009
[5] Bailey,高精度计算:数学物理和动力学,应用。数学。计算。第218页,10106页–(2012年)·兹比尔1248.65147 ·doi:10.1016/j.amc.2012.03.087
[6] 计算机科学课程2008:CS 2001的中期修订http://www.acm.org/education/curricula/ComputerScience2008.pdf
[7] Precimonious:浮点prec的调优助手isionhttp://www.davidhbailey.com/dhbpapers/precrimonious.pdf
[8] 出版社,《数字配方:科学计算的艺术》(2007)·Zbl 1132.65001号
[9] http://www.netlib.org/linpack
[10] http://www.netlib.org/lapack网站
[11] Demmel,完全正广义Vandermonde线性系统的精确有效解,SIAM J.矩阵分析。申请。第27页,145页–(2005年)·Zbl 1096.65031号 ·doi:10.1137/S0895479804440335
[12] Knuth,《计算机编程的艺术:半数值算法》(1998)·Zbl 0895.65001号
[13] Shewchuk,自适应精确浮点算法和快速鲁棒几何谓词,Disc。和Comp。几何18第305页–(1997)·兹比尔0892.68098 ·doi:10.1007/PL00009321
[14] 四重双精度浮点Arith算法会议tp://crd-legacy.lbl.gov/dhbailey/mpdist公司
[15] Borwein,《实验数学:21世纪的合理推理》(2008)·Zbl 1163.00002号
[16] 布伦特,《现代计算机算术》(2010年)
[17] http://www.davidhbailey.com/dhbpapers/arprec.pdf
[18] http://www.ginac.de/CLN网站
[19] https://gmplib.org网站
[20] http://julialang.org
[21] 网址:http://www.mpfr.org
[22] http://perso.ens-lyon.fr/natalie.revol/software.html
[23] http://www.holoborodko.com/pavel/mpfr
[24] http://www.davidhbailey.com/dhbpapers/mpfun2015.pdf
[25] https://code.google.com/p/mpmath网址/
[26] 网址:http://www.shoup.net/ntl/
[27] http://pari.math.u-bordeaux.fr
[28] http://sagemath.org
[29] Bailey,《伊辛类积分》,J.物理学A:数学。Gen.39第12271页–(2006)·Zbl 1113.65023号 ·doi:10.1088/0305-4470/39/40/001
[30] http://stanford.edu/group/SOL/multiscale/papers/quadLP3.pdf
[31] http://stanford.edu/group/SOL/multispcale/talks/14informsQuadMINOS.pdf
[32] 塔克,严格的常微分方程求解器和斯梅尔的第14个问题,发现。计算。数学。第2页53–(2002)·Zbl 1047.37012号 ·数字标识代码:10.1007/s002080018
[33] 麦克法兰,《非简谐振子谱的高精度研究》,《物理学年鉴》。271第159页–(1999)·兹伯利0974.81015 ·doi:10.1006/aphy.1998.5854
[35] Farrés,太阳系高精度辛积分器,Celest。机械。动态。阿童木。第116页第141页–(2013年)·doi:10.1007/s10569-013-9479-6
[36] 弗洛洛夫,《极少数体辅助函数和四体积分的高精度评估》,J.Phys。B 36第1857页–(2003)·doi:10.1088/0953-4075/36/9/315
[37] Yan,Bethe对数和Lithium,Phys的QED偏移。修订稿。第81页,第774页–(2003年)·doi:10.1103/PhysRevLett.81.774
[38] 张,O(mc2{(α)}7ln{(alpha)})对氦和类氦离子精细结构分裂的QED修正,Phys。修订稿。第1715页第77页–(1994年)·doi:10.1103/PhysRevLett.77.1715
[39] http://arXiv.org/abs/0810.2762
[40] Berger,《单回路振幅壳上方法的自动实现》,Phys。D版78第036003页–(2008年)·doi:10.1103/PhysRevD.78.036003
[41] Ossola,CutTools:一个实现OPP简化方法以计算单回路振幅的程序,J.高能物理学。0803第042页–(2008)·doi:10.1088/1126-6708/2008/03/042
[42] Czakon,《来自轻夸克的顶部:QCD中两个环的完全质量依赖性》,物理学。莱特。B 664第307页–(2008年)·doi:10.1016/j.physletb.2008.05.028
[43] http://arxiv.org/abs/1208.1536
[44] Simó,全球动力学和快速指标,动力系统全球分析第373页–(2001)
[45] Barrio,ODE/DAE泰勒级数方法的性能,应用。数学。和计算。163第525页–(2005年)·Zbl 1067.65063号 ·doi:10.1016/j.amc.2004.02.015
[46] Barrio,用于ODE数值解的Taylor方法的VSVO公式,计算。数学。申请。第50页,93页–(2005年)·Zbl 1085.65056号 ·doi:10.1016/j.camwa.2005.02.010
[47] Corliss,使用泰勒级数求解常微分方程,ACM Trans。数学。软件8第114页–(1982)·Zbl 0503.65046号 ·数字对象标识代码:10.1145/355993.355995
[48] Barrio,使用泰勒级数法对ODE/DAE进行敏感性分析,SIAM J.Sci。计算。第27页,1929–(2006)·兹比尔1108.65077 ·数字对象标识代码:10.1137/030601892
[49] 德纳,周期轨道的高精度延拓,文摘。申请。分析。第716024页–(2012)·Zbl 1248.65130号
[50] 海尔,解常微分方程。一、非刚性问题(1993)·Zbl 0789.65048号
[51] Hairerm,外推方法的密集输出,数值。数学。第58页,419页–(1990年)·Zbl 0693.65048号 ·doi:10.1007/BF01385634
[52] 巴里奥,《突破极限:泰勒级数方法》,应用。数学。和计算。第7940页第217页–(2011年)·Zbl 1219.65064号 ·doi:10.1016/j.amc.2011.02.080
[53] 洛伦茨,确定性非周期流,《大气科学杂志》。第20页130–(1963)·Zbl 1417.37129号 ·doi:10.1175/1520-0469(1963)020<0130:DNF>2.0.CO;2
[54] Taylor级数微分方程积分器。数学。软件39第1页–(2012年)·Zbl 1295.65138号 ·doi:10.1145/2382585.2382590
[55] Dormand,嵌入式Runge-Kutta公式家族,J.Comput。申请。数学。第6页19–(1980)·Zbl 0448.65045号 ·doi:10.1016/0771-050X(80)90013-3
[56] Viswanath,Lindstedt-Poincaré技术作为计算周期轨道的算法,SIAM Rev.43 pp 478–(2001)·Zbl 0979.65115号 ·doi:10.1137/S0036144500375292
[57] Viswanath,Lorenz吸引子的分形特性,J.Phys。D 190第115页–(2004)·Zbl 1041.37013号 ·doi:10.1016/j.physd.2003.10.006
[58] Viswanath,öahutöglu,S.《复奇异性和Lorenz吸引子》,SIAM Rev.52第294页–(2010)·Zbl 1202.34153号 ·doi:10.1137/090753474
[59] Abad,以任意精度计算周期轨道,Phys。版本E 84 pp 016701–(2011)·doi:10.1103/PhysRevE.84.016701
[60] 卡尔沃,相对论导致水银低温融化的证据,Angew。化学。国际编辑英语。(2013)
[61] Borwein,《数学实验:探索的计算之路》(2004)·1083.00002赞比亚比索
[62] Ferguson,PSLQ分析,整数关系查找算法,数学。计算。第68页,第351页–(1999年)·Zbl 0927.11055号 ·doi:10.1090/S0025-5718-99-00995-3
[63] Bailey,并行整数关系检测:技术与应用,数学。计算。第70页1719–(2000)·Zbl 1037.11090号 ·doi:10.1090/S0025-5718-00-01278-3
[65] http://www.davidhbailey.com/dhbpapers/bbp-formulas.pdf
[66] Bailey,以前无法访问的{\(\pi\)}2数字和Catalan常数的计算,Not。AMS 60第844页–(2013)
[67] http://www.karrels.org/pi
[68] http://math.berkeley.edu/斯拉曼/论文/liouville.pdf
[69] Stoneham,关于绝对(j,{(epsilon)})-有理分式中的正规性及其对正规数的应用,《算术学报》22第277页–(1973)·Zbl 0276.10028号
[70] 内政部:10.1007/s11139-012-9417-3·Zbl 1336.11055号 ·doi:10.1007/s11139-012-9417-3
[71] 高桥,数值积分的双指数公式,Pub。RIMS 9 pp 721–(1974)·Zbl 0293.65011号 ·doi:10.2977/prims/1195192451
[72] http://dlmf.nist.gov
[73] NIST数学函数手册(2010)·Zbl 1198.00002号
[74] https:/isc.carma.newcastle.edu.au
[75] http://arxiv.org/abs/1403.3385
[76] Bailey,《千位数积分的肉搏战》,J.Compute。科学。第3页77–(2012年)·doi:10.1016/j.jocs.2010.12.004
[77] 博文,三步和四步随机游动积分,实验数学。第1页,共22页–(2013年)·Zbl 1268.33005号 ·doi:10.1080/10586458.2013.748379
[78] 卢卡斯,《计算涉及任意阶贝塞尔函数的无穷积分》,J.Comp。申请。数学。第217页第64页–(1995年)·Zbl 0857.65025号 ·doi:10.1016/0377-0427(95)00142-5
[79] Sidi,通过外推对非常振荡的无限积分进行数值计算,数学。计算。第38页,517页–(1982年)·兹比尔0508.65011 ·doi:10.1090/S0025-5718-1982-0645667-5
[80] Sidi,振荡无穷积分的一种用户友好的外推方法,数学。计算。第51页第249页–(1988年)·Zbl 0694.40004号 ·doi:10.1090/S0025-5718-1988-0942153-5
[81] Sidi,用于计算振荡函数乘积的无限范围积分的用户友好的外推方法,IMA J.Numer。分析。32页602–(2012年)·Zbl 1298.65039号 ·doi:10.1093/imanum/drr022
[82] Bailey,贝塞尔矩的椭圆积分表示,J.Phys。A: 数学。西奥。第5203页第41页–(2008年)·Zbl 1152.33003号 ·doi:10.1088/1751-8113/41/20/205203
[83] 万,椭圆积分乘积的矩,高级应用。数学。第48页,第121页–(2012年)·Zbl 1231.33020号 ·doi:10.1016/j.aam.2011.04.007
[84] http://arxiv.org/abs/1303.2259
[85] Bailey,《泊松方程产生的格和》,J.物理学A:数学。西奥。第46页,第115201页–(2013年)·Zbl 1263.11074号 ·doi:10.1088/1751-8113/46/11/115201
[86] Borwein,关于格和和Wigner极限,J.Math。分析。申请。414第489页–(2014年)·Zbl 1369.11046号 ·doi:10.1016/j.jmaa.2014.01.008
[87] Borwein,《Lattice Sums:Then Now》(2013年)
[88] Borwein,《某些格和的分析》,J.Math。分析。申请。143第126页–(1989)·Zbl 0682.10028号 ·doi:10.1016/0022-247X(89)90032-2
[89] http://arxiv.org/abs/1408.3358
[90] 扩展Mordell-Tornheim-Witten的计算与理论sumshttp://www.davidhbailey.com/dhbpapers/BBC.pdf
[91] Williams,并行计算机体系结构,科学应用程序的性能调整,第11页–(2011年)
[92] http://top500.org
[93] 卡纳,CUDA GPU上的高精度数值模拟:克尔黑洞尾部,科学杂志。计算。第366页第56页–(2013年)·Zbl 1273.83103号 ·数字对象标识代码:10.1007/s10915-012-9679-3
[94] Mukunoki,在GPU上实现和评估四精度BLAS功能,应用。平行科学。计算。7133第249页–(2012年)·Zbl 06071365号 ·doi:10.1007/978-3-642-28151-8_25
[95] Chevillard,减少对消的Airy Ai函数的多精度评估,第21届IEEE计算机算术研讨会论文集(2013)
[96] Crandall,多对数、L系列和zeta变量的统一算法,算法反射:精选作品(2012)
[98] 穆勒,《浮点运算手册》(2010)·兹比尔1197.65001
[99] 使用英特尔编译器时浮点结果的一致性,或者为什么我的应用程序不总是给出相同的nswerhttp://software.intel.com/sites/default/files/article/164389/fp-consistence-102511.pdf
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。