弗雷德里克·约翰逊 严格计算超几何函数。 （英语） Zbl 1486.65026号 ACM事务处理。数学。柔和。 45，第3号，第30条，第26页（2019）. 引用于13文件 MSC公司： 65D20个 特殊函数和常数的计算，表的构造 33F05型 特殊函数的数值逼近与评价 65G30型 区间和有限算术 关键词：贝塞尔函数;超几何函数;任意判定算法;自动微分;区间算术;正交多项式 软件：马克西玛;阿伯;PARI/GP公司;数学软件;枫树;SageMath公司;MPFR公司;Wolfram功能站点;科学Py;mpmath（数学）;数字Gfun;算法912;MPC公司;MPFUN公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Johansson}，ACM翻译。数学。柔和。45，第3号，第30条，第26页（2019年；Zbl 1486.65026） 全文： 内政部 arXiv公司 参考文献： [1] M.Abramowitz和I.A.Stegun。1964.数学函数手册，包括公式、图形和数学表。纽约州纽约州多佛市·Zbl 0171.38503号 [2] D.H.Bailey。2015.MPFUN2015:线程安全的任意精度计算包。手稿。https://www.davidhbailey.com/dhbpapers/mpfun2015.pdf。 [3] D.H.Bailey和J.M.Borwein。2015.数学物理中的高精度算法。数学3，2（2015），337-367·Zbl 1318.65025号 [4] D.H.Bailey、J.M.Borwein和R.E.Crandall。2006.伊辛类积分。《物理学杂志》。A： 数学。Gen.39，40（2006），12271-12302·Zbl 1113.65023号 [5] W.Becken和P.Schmelcher。2000.高斯超几何函数（a，b；c；z）对任意参数的解析延拓。J.计算。申请。数学。126, 1-2 (2000), 449-478. ·Zbl 0976.33003号 [6] D.J.伯恩斯坦。2008.快速乘法及其应用。算法数论。《格、数域、曲线和密码学》，J.P.Buhler和P.Stevenhagen（编辑），第44卷。http://www.cambridge.org/catalogue/catalogy.asp？isbn=9780521808545。 ·Zbl 1154.11002号 [7] R.布洛曼。2009年。ζ（2n）计算速度更快！检索自https://web.archive.org/web/2014110113659/http://xn-2-umb.com/09/11/even-faster-zeta-calculation。 [8] A.I.Bogolubsky和S.L.Skorokhodov。2006.通过Hurwitz zeta函数ζ（&alpha s）快速评估奇点z=1处的超几何函数（a；b；z）。程序。计算。柔和。32, 3 (2006), 145-153. ·Zbl 1102.33014号 [9] A.R.Booker、A.Strömbergsson和A.Venkatesh。2006.Maass尖点形状的有效计算。国际数学研究通告·Zbl 1154.11018号 [10] J.M.Borwein、D.M.Bradley和R.E.Crandall。Riemann zeta函数的计算策略。J.计算。申请。数学。121, 1-2 (2000), 247-296. ·Zbl 0972.11077号 [11] J.M.Borwein和I.J.Zucker。1992.使用第一类完全椭圆积分快速评估小有理分式的伽马函数。IMA J.数字。分析。12, 4 (1992), 519-526. ·Zbl 0758.65008号 [12] P.博文。Riemann zeta函数的有效算法。可以。数学。Soc.Conf.程序。27 (2000), 29-34. ·Zbl 0984.11067号 [13] P.B.博文。1987.超几何函数的简化复杂性评估。J.近似理论50，3（1987年7月）·Zbl 0613.42007年 [14] A.Bostan、P.Gaudry和É。斯科斯特。2007.多项式系数线性递归及其在整数因式分解和Cartier-Manin算子中的应用。SIAM J.计算。36, 6 (2007), 1777-1806. ·Zbl 1210.11126号 [15] R.P.布伦特。1976年，多决策算法的复杂性。《计算问题解决的复杂性》，R.P.Brent和R.S.Anderssen（编辑）。昆士兰大学出版社。 [16] R.P.布伦特。关于对数伽玛函数和黎曼-西格尔θ函数的渐近近似。arXiv预印本arXiv:1609.03682（2016）。 [17] R.P.Brent和D.Harvey。2013年，快速计算伯努利数、正切数和割线数。计算和分析数学。施普林格，127-142·Zbl 1310.11120号 [18] R.P.Brent和F.Johansson。2015年，Brent-McMillan算法中误差项的界。数学。公司。84295（2015年9月），2351-2359·Zbl 1320.33007号 [19] R.P.Brent和P.Zimmermann。2011年，现代计算机算术。剑桥大学出版社，英国剑桥·Zbl 1230.68014号 [20] S.Chevillard和M.Mezzarobba。2013.减少对消的Airy Ai函数的多精度评估。第21届IEEE计算机算术研讨会（ARITH21）论文集。175-182. [21] D.V.Chudnovsky和G.V.Chundnovsky。1988.根据Ramanujan的近似和复数乘法。在拉马努扬重游。学术出版社，纽约州纽约市，375-472·Zbl 0647.10002号 [22] D.V.Chudnovsky和G.V.Chundnovsky。1990年。为数学物理和数论服务的计算机代数。计算。数学。125 (1990), 109. ·Zbl 0712.11078号 [23] M.Colman、A.Cuyt和J.Van Deun。2011年。验证了某些超几何函数的计算。ACM事务处理。数学。柔和。38, 2 (2011). ·Zbl 1365.65046号 [24] Z.Du先生。2006.超越和代数计算的保证精度变得简单。博士论文。纽约大学，纽约州纽约市。 [25] Z.Du、M.Eleftheriou、J.E.Moreira和C.Yap。2002.精确几何计算中的超几何函数。选举人。不是。西奥。计算。科学。66, 1 (2002), 53-64. ·Zbl 1261.68127号 [26] A.Enge、P.Théveny和P.Zimmermann。2011年。MPC：一个具有精确舍入的多精度复数运算库。检索自http://multiprecision.org/。 [27] R.法特曼。2006.RW Gosper的2F1}的{Maxima}数值评估。检索自http://www.math.utexas.edu/pipermail/maxima/2006/000126.html。 [28] S.Fillebrown公司。1992.伯努利数的快速计算。J.阿尔戈。13, 3 (1992), 431-445. ·Zbl 0755.11006号 [29] P.Flajolet和I.Vardi。1996.经典常数的Zeta函数展开式。检索自http://algo.inria.fr/flajolet/Publications/FlVa96.pdf。 [30] R.C.Forrey。1997.计算超几何函数。J.计算。物理学。137, 1 (1997), 79-100. ·Zbl 0886.65009号 [31] L.Fousse、G.Hanrot、V.Lefèvre、P.Pélissier和P.Zimmermann。MPFR:具有正确舍入的多精度二进制浮点库。ACM事务处理。数学。柔和。33，2（2007年6月），13:1-13:15。http://mpfr.org。 ·Zbl 1365.65302号 [32] D.加斯帕德。2018.库仑波函数之间的连接公式。arXiv预印arXiv:1804.10976（2018）·Zbl 1404.81093号 [33] A.Gil、J.Segura和N.M.Temme。2007.特殊函数的数值方法。宾夕法尼亚州费城SIAM·Zbl 1144.65016号 [34] B.Haible和T.Papanikolaou。有理数序列的快速多精度评估。第三届算法数论国际研讨会（ANTS-III）论文集，J.P.Buhler（Ed.）。柏林施普林格，338-350·Zbl 1067.11517号 [35] D.E.G.兔子。1997年，计算log-Gamma的主分支。J.阿尔戈。25, 2 (1997), 221-236. ·Zbl 0887.68055号 [36] U.D.Jentschura和E.Lötstedt。2012.贝塞尔、汉克尔和艾里函数的数值计算。计算。物理学。Commun公司。183, 3 (2012), 506-519. ·Zbl 1264.65028号 [37] F.约翰逊。2013.Arb：一个用于球运算的C库。ACM通信。计算。阿尔盖布。47, 4 (2013), 166-169. [38] F.约翰逊。2014年a。使用矩形分裂评估参数完整序列。第39届符号与代数计算国际研讨会（ISSAC’14）会议记录。ACM，纽约州纽约市，256-263·Zbl 1325.65178号 [39] F.约翰逊。2014年b。特殊函数的快速严格计算达到高精度。博士论文。林茨约翰内斯·开普勒大学RISC。 [40] F.约翰逊。2015年a。在中等精度范围内有效实现基本函数。第22届IEEE计算机算术研讨会（ARITH22）论文集。83-89. [41] F.约翰逊。2015年b。mpmath：用于任意精度浮点运算的Python库。检索自http://mpmath.org。 [42] F.约翰逊。2015年c月。赫尔维茨-泽塔函数及其导数的严格高精度计算。数字。阿尔戈。69，2（2015年6月），253-270·Zbl 1320.65039号 [43] F.约翰逊。2017.Arb：高效的任意决策中点-半径区间算法。IEEE传输。计算。66, 8 (2017), 1281-1292. ·Zbl 1388.65037号 [44] F.Johansson和M.Mezzarobba。2018.Gauss-Legendre求积节点和权重的快速且严格的任意精度计算。SIAM J.科学。计算。40、6（2018），C726-C747·Zbl 06990607号 [45] E.Jones、T.Oliphant、P.Peterson等人，2001年。SciPy：Python开源科学工具。检索自http://www.scipy.org/。 [46] E.A.卡拉通巴。1998年。快速评估Hurwitz zeta函数和Dirichlet L系列。探针。信息传输。34, 4 (1998). ·Zbl 0928.11056号 [47] M.Kodama先生。2011.算法912：用于计算复阶和复变元的圆柱函数的模块。ACM事务处理。数学。软件37，4（2011年2月），1-25·Zbl 1365.65065号 [48] S.Köhler和M.Ziegler。2008.关于快速多项式算法的稳定性。第八届实数与计算机会议论文集。西班牙圣地亚哥·德孔波斯特拉。 [49] K.Kuhlman。2015年，无侧限：司令部平行无侧限含水层测试模拟器。检索自https://github.com/klkuhlm/unconfined。 [50] C.兰索斯。1964.伽玛函数的精确近似。SIAM J.数字。分析。1, 1 (1964), 86-96. ·Zbl 0136.05201号 [51] Maplesoft。2016年，枫叶。检索自http://www.maplesoft.com/documentation_center/。 [52] Maxima作者。2015年，Maxima，计算机代数系统。检索自http://maxima.sourceforge.net/。 [53] M.Mezzarobba先生。2010年，NumGfun：一个使用D有限函数进行数值和分析计算的软件包。符号和代数计算国际研讨会（ISSAC’10）论文集。139-146. ·Zbl 1321.65202号 [54] M.Mezzarobba先生。2011年，德国财务评估协会（Autour de l’évaluation numérique des functions D finies）。博士学位。理工学院。 [55] M.Mezzarobba先生。2016年，SageMath中D-有限函数的严格多精度评估。检索自https://arxiv.org/abs/1607.01967。 [56] M.Mezzarobba和B.Salvy。2010.P-递归序列的有效界限。J.符号。计算。45, 10 (2010), 1075-1096. ·Zbl 1201.65219号 [57] N.Michel和M.V.Stoitsov。2008.高斯超几何函数及其所有参数的快速计算，并应用于Pöschl-Teller-Ginocchio势波函数。计算。物理学。Commun公司。178, 7 (2008), 535-551. ·兹比尔1196.33020 [58] K·E·穆勒。计算合流超几何函数M（a，b，x）。数字。数学。90, 1 (2001), 179-196. ·Zbl 0995.65029号 [59] M.Nardin、W.F.Perger和A.Bhalla。1992年.大数值复变元合流超几何函数的数值评估。J.计算。申请。数学39，2（1992），193-200·Zbl 0777.65007号 [60] NIST。2016.数学函数数字图书馆。2016-06-08第1.0.11号发布。检索自http://dlmf.nist.gov/。Olver等人（2010年）的在线伴侣。 [61] F.W.J.奥尔弗。1997.渐近与特殊函数。A K Peters，马萨诸塞州韦尔斯利·Zbl 0982.41018号 [62] F.W.J.Olver、D.W.Lozier、R.F.Boisvert和C.W.Clark，2010年。NIST数学函数手册。剑桥大学出版社，纽约州纽约市·Zbl 1198.00002号 [63] J.皮尔逊。2009年，超几何函数的计算。硕士论文。牛津大学。 [64] J.W.Pearson、S.Olver和M.A.Porter。2014.汇流和高斯超几何函数的数值计算方法。arXiv:1407.7786，http://arxiv.org/abs/1407.7786 (2014). ·Zbl 1360.33009号 [65] J.Reignier。1999.常线性微分方程的奇异性和可积性。在Painlevé地产。柏林施普林格，1-33·兹比尔1041.34084 [66] N.Revol和F.Rouillier。2005.任意精度区间算术库和MPFI库的动机。可靠的计算。11, 4 (2005), 275-290. ·Zbl 1078.65543号 [67] 优秀的开发人员。2016年，SageMath，Sage数学软件系统（7.2.0版）。检索自http://www.sagemath.org。 [68] T.Schmelzer和L.N.Trefethen。2007.使用轮廓积分和有理逼近计算Gamma函数。SIAM J.数字。分析。45, 2 (2007), 558-571. ·Zbl 1153.65026号 [69] S.L.斯科罗霍多夫。2005.根据黎曼zeta函数计算广义超几何函数（A）的方法。计算。数学。数学。物理学。45, 4 (2005), 574-586. [70] D.M.史密斯。1989.初等函数的有效多精度评估。数学。公司。52, 185 (1989), 131-134. ·Zbl 0657.65032号 [71] D.M.史密斯。2001.算法：Fortran 90软件，用于浮点多精度算术、gamma和相关函数。事务处理。数学。柔和。27 (2001), 377-387. ·Zbl 1070.65514号 [72] M.Sofroniou和G.Spaletta。2005.精确数值计算。J.逻辑代数。程序。64, 1 (2005), 113-134. ·Zbl 1075.68104号 [73] J.L.斯波格。1994年。伽马、地高玛和三角函数的计算。SIAM J.数字。分析。31, 3 (1994), 931-944. ·Zbl 0803.40001号 [74] T.P.斯特凡斯基。2013.需要高精度计算的电磁问题。IEEE Antenn。传播。Mag.55,2（2013年4月），344-353。 [75] N.M.Temme公司。合流超几何函数U（a，b，z）的数值计算。数字。数学。41, 1 (1983), 63-82. ·Zbl 0489.33001号 [76] MPFR团队。2016.MPFR库：算法和证明。检索自http://www.mpfr.org/algo.html。 [77] PARI组。2016年PARI/GP波尔多。检索自网址：http://pari.math.u.bodeaux.fr。 [78] W.塔克。2011.验证数值：严格计算简介。普林斯顿大学出版社，新泽西州普林斯顿·Zbl 1231.65077号 [79] J.van der Hoeven。1999.完整函数的快速评估。西奥。计算。科学。210, 1 (1999), 199-215. ·Zbl 0912.68081号 [80] J.van der Hoeven。2001.规则奇点附近和中完整函数的快速评估。J.符号。计算。31, 6 (2001), 717-743. ·Zbl 0982.65024号 [81] J.van der Hoeven。2007.完整函数的高效加速累加。J.符号。计算。42, 4 (2007), 389-428. ·Zbl 1125.34072号 [82] J.van der Hoeven。2009年，Ball算术。技术报告。哈尔。检索自http://hal.archives-ouvertes.fr/hal-00432152/fr/。 [83] A.沃格特。2007.使用Gosper公式计算超几何函数2F1。检索自http://www.axelvogt.de/axalom/hyp2F1/hypergeometric_2F1_using_a_recipe_of_Gosper.mws.pdf。 [84] E.W.魏斯坦。2016年，钻孔规范化金额。检索自http://mathworld.wolfram.com/Borel-RegularizedSum.html。 [85] J.L.威利斯。2012.通过精确余数渐近加速广义超几何函数。数字。阿尔戈。59, 3 (2012), 447-485. ·Zbl 1236.65019号 [86] Wolfram研究。2016年，Mathematica。检索自网址：http://wolfram.com。 [87] Wolfram研究。2016年，Wolfram功能网站。检索自http://functions.wolfram.com/。 [88] N.Yamamoto和N.Matsuda。{未注明日期}。贝塞尔函数的验证计算。2005年非线性理论及其应用国际研讨会论文集（NOLTA'05）。 [89] 齐格勒先生。线性递归序列的快速（多）评估：改进和应用。(2005). 检索自http://arxiv.org/abs/cs/0511033。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。