大卫·H·贝利。;乔纳森·博文(Jonathan M.Borwein)。 数学物理中的高精度算法。 (英语) Zbl 1318.65025号 数学 3,第2期,337-367(2015). 摘要:对于许多科学计算,尤其是那些涉及经验数据的计算,IEEE 32位浮点运算可以产生足够准确的结果,而对于其他应用,IEEE 64位浮点运算更为合适。但对于一些要求很高的应用,通常需要更高级别的精度。本文从数学物理的角度讨论了高精度计算的挑战,并根据计算机体系结构的新发展,强调了支持未来计算所需的设施。 引用于8文件 MSC公司: 65G99型 误差分析和区间分析 65天32分 数值求积和体积公式 65号06 含偏微分方程边值问题的有限差分方法 35J05型 拉普拉斯算子、亥姆霍兹方程(约化波动方程)、泊松方程 关键词:高精度算法;数值积分;PSLQ算法;伊辛积分;泊松方程;浮点运算 软件:潮汐;gmp公司;DLMF公司;CUDA公司;切割工具;黑帽;RODES公司 PDF格式BibTeX公司 XML格式引用 \textit{D.H.Bailey}和\textit{J.M.Borwein},数学3,第2期,337--367(2015;Zbl 1318.65025) 全文: 内政部 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。