Computational strategies for the Riemann zeta function

We provide a compendium of evaluation methods for the Riemann zeta function, presenting formulae ranging from historical attempts to recently found convergent series to curious oddities old and new. We concentrate primarily on practical computational issues, such issues depending on the domain of the argument, the desired speed of computation, and the incidence of what we call \value recycling". c 2000 Elsevier Science B.V. All rights reserved.

[1]  Richard E. Crandall,et al.  On the Evaluation of Euler Sums , 1994, Exp. Math..

[2]  B. Berndt.  Ramanujan’s Notebooks: Part V , 1997 .

[3]  Pär Kurlberg,et al.  A local Riemann hypothesis, I , 2000 .

[4]  J. Keating,et al.  A new asymptotic representation for ζ(½ + it) and quantum spectral determinants , 1992, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences.

[5]  Jonathan M. Borwein,et al.  Elliptic integral evaluation of the Gamma function at rational values of small denominator , 1992 .

[6]  Victor S. Adamchik,et al.  Some series of the zeta and related functions , 1998 .

[7]  Amin Shokrollahi,et al.  Irregular Primes and Cyclotomic Invariants to 12 Million , 2001, J. Symb. Comput..

[8]  H. Cohen,et al.  Calcul des valeurs de la fonction zêta de Riemann en multiprécision , 1992 .

[9]  Shigeki Akiyama,et al.  Calculation of values of L-functions associated to elliptic curves , 1999, Math. Comput..

[10]  T. Apostol.  Introduction to analytic number theory , 1976 .

[11]  Ekatharine A. Karatsuba,et al.  Fast evaluation of hypergeometric functions by FEE , 1999 .

[12]  B. V. D. Pol.  An electro-mechanical investigation of the Riemann zeta function in the critical strip , 1947 .

[13]  Ilan Vardi,et al.  Computational recreations in Mathematica , 1991 .

[14]  P. Ribenboim.  The new book of prime number records , 1996 .

[16]  Jonathan M. Borwein,et al.  Pi and the AGM , 1999 .

[17]  Richard P. Brent,et al.  Some New Algorithms for High-Precision Computation of Euler’s Constant , 1980 .

[18]  A. Odlyzko.  Analytic computations in number theory , 1994 .

[19]  Carter Bays,et al.  Zeroes of Dirichlet L-functions and irregularities in the distribution of primes , 2000, Math. Comput..

[20]  J. Lagarias.  On a positivity property of the Riemann ξ-function , 1999 .

[21]  A. M. Odlyzko,et al.  Computing pi(x): An Analytic Method , 1987, J. Algorithms.

[22]  A. Odlyzko.  On the distribution of spacings between zeros of the zeta function , 1987 .

[23]  S. Skewes.  On the Difference (x) - lix (II) , 1955 .

[24]  本橋 洋一.  Spectral theory of the Riemann zeta-function , 1997 .

[25]  Leonard Lewin,et al.  Polylogarithms and Associated Functions , 1981 .

[26]  Jonathan M. Borwein,et al.  Empirically Determined Apéry-Like Formulae for ζ(4n+3) , 1997, Exp. Math..

[27]  D. R. Heath-Brown,et al.  The Theory of the Riemann Zeta-Function , 1987 .

[28]  J. Littlewood,et al.  Collected Papers of Srinivasa Ramanujan , 1929, Nature.

[29]  Jonathan M. Borwein,et al.  Searching symbolically for Ape´ry-like formulae for values of the Riemann zeta function , 1996, SIGS.

[30]  Boo Rim Choe.  An elementary proof of Σ∞ n =1-1/- n 2 = π 2 /6 , 1987 .

[31]  Arnold Schönhage,et al.  Fast algorithms for multiple evaluations of the riemann zeta function , 1988 .

[32]  Jeffrey Shallit,et al.  Results and estimates on pseudopowers , 1996, Math. Comput..

[33]  S. Skewes.  On the Difference (x)--li(x) (I) , 1933 .

[34]  Xian-jin Li,et al.  The Positivity of a Sequence of Numbers and the Riemann Hypothesis , 1997 .

[35]  Edmund Taylor Whittaker,et al.  A Course of Modern Analysis , 2021 .

[36]  Richard E. Crandall,et al.  Mathematica for the sciences , 1991 .

[37]  Alain Connes,et al.  Trace formula in noncommutative geometry and the zeros of the Riemann zeta function , 1998, math/9811068.

[38]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[39]  Richard E. Crandall,et al.  Fast evaluation of multiple zeta sums , 1998, Math. Comput..

[40]  D. H. Lehmer,et al.  IRREGULAR PRIMES TO ONE MILLION , 1992 .

[41]  J. Littlewood,et al.  Collected Papers of Srinivasa Ramanujan , 1929, Nature.

[42]  R. Crandall.  On the quantum zeta function , 1996 .

[43]  R. Paris.  An asymptotic representation for the Riemann zeta function on the critical line , 1994, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences.

[44]  A.,et al.  FAST FOURIER TRANSFORMS FOR NONEQUISPACED DATA * , 2022 .

[45]  Richard P. Brent,et al.  On the zeros of the Riemann zeta function in the critical strip III , 1985 .

[46]  J. Wrench,et al.  Questions concerning Khintchine’s constant and the efficient computation of regular continued fractions , 1966 .

[47]  Gert Almkvist,et al.  Borwein and Bradley's Apérv-Like Formulae for ζ(4n + 3) , 1999, Exp. Math..

[48]  Alfred J. van der Poorten,et al.  A proof that Euler missed ... , 1979 .

[49]  Richard E. Crandall,et al.  Irregular primes and cyclotomic invariants to four million , 1993 .

[50]  Richard P. Brent,et al.  Fast Multiple-Precision Evaluation of Elementary Functions , 1976, JACM.

[51]  V. Rokhlin,et al.  Fast algorithms for polynomial interpolation, integration, and differentiation , 1996 .

[52]  M. Yor,et al.  Notes sur la fonctionζde Riemann, 2 , 1999 .

[53]  M. Berry.  The Bakerian Lecture, 1987. Quantum chaology , 1987, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[54]  Jeffrey C. Lagarias,et al.  Complements to Li's Criterion for the Riemann Hypothesis☆ , 1999 .

[55]  David J. Broadhurst,et al.  Polylogarithmic ladders, hypergeometric series and the ten millionth digits of ?(3) and ?(5) , 1998 .

[56]  F. V. Atkinson,et al.  The Riemann zeta-function , 1950 .

[57]  Richard P. Brent,et al.  On the zeros of the Riemann zeta function in the critical strip , 1979 .

[58]  J RieleteH.J.,et al.  On the zeros of the Riemann zeta function in the critical strip III , 1983 .

[59]  C. Pomerance,et al.  Prime Numbers: A Computational Perspective , 2002 .

[60]  Eric Bach,et al.  The Complexity of Number-Theoretic Constants , 1997, Inf. Process. Lett..

[61]  Kenneth S. Williams,et al.  Some Series Representations of $\z(2n+1)$ , 1993 .

[62]  B. M. Fulk.  MATH , 1992 .

[63]  S. M. Voronin,et al.  Chapter I. The definition and the simplest properties of the Riemann zeta-function , 1992 .

[64]  Henry C. Thacher,et al.  Applied and Computational Complex Analysis. , 1988 .

[65]  M. Balazard,et al.  Notes sur la fonction ζ de Riemann, 4 , 2000 .

[66]  Herman J. J. te Riele,et al.  On the sign of the difference $\pi(x)-{\rm li}(x)$ , 1987 .

[67]  A. Odlyzko,et al.  Disproof of the Mertens conjecture. , 1984 .

[68]  Michael O. Rubinstein,et al.  Evidence for a Spectral Interpretation of the Zeros of , 1998 .

[69]  R. Lehman.  On the difference π(x) - li(x) , 1966 .

[70]  A. Voros.  The zeta function of the quartic oscillator , 1980 .

[71]  H. V. Koch,et al.  Sur la distribution des nombres premiers , 1901 .

[72]  Wieb Bosma,et al.  Algorithmic Number Theory , 2000, Lecture Notes in Computer Science.

[73]  Doron Zeilberger,et al.  Hypergeometric series acceleration via the WZ method , 1997, Electron. J. Comb..

[74]  Vadim E. Levit,et al.  Approaching the Riemann hypothesis with Mathematica , 1997 .

[75]  Karl Dilcher,et al.  Sums of Products of Bernoulli Numbers , 1996 .

[76]  H. Riesel.  Prime numbers and computer methods for factorization , 1985 .

[77]  Jonathan M. Borwein,et al.  On the Khintchine constant , 1997, Math. Comput..

[78]  David H. Bailey,et al.  On the Random Character of Fundamental Constant Expansions , 2001, Exp. Math..

[79]  David Bailey,et al.  On the rapid computation of various polylogarithmic constants , 1997, Math. Comput..

[80]  M. Koecher.  Klassische elementare Analysis , 1987 .

[81]  M. B. Pour-El,et al.  The wave equation with computable initial data such that its unique solution is not computable , 1981 .

[82]  Bruno Haible,et al.  Fast Multiprecision Evaluation of Series of Rational Numbers , 1998, ANTS.

[83]  Richard E. Crandall,et al.  Topics in advanced scientific computation , 1995 .

[84]  Y. Lan.  A Limit Formula for ζ(2k+1)☆ , 1999 .

[85]  An Eecient Algorithm for the Riemann Zeta Function , 1995 .

[86]  Jonathan M. Borwein,et al.  Fast evaluation of the gamma function for small rational fractions using complete elliptic integrals of the first kind , 1992 .