Rapid computation of Bernoulli and related numbers

Bernoulli numbers and similar arithmetic objects have long been of interest in mathematics. Historically, people have been interested in different recursion formulae that can be derived for the Bernoulli numbers, and the use of these recursion formulae for the calculation of Bernoulli numbers. Some of these methods, which in the past have only been of theoretical interest, are now practical with the availability of high-powered computation. This poster explores some of these techniques of deriving new recursion formulae, and expands upon these methods. The main technique that is explored is that of "multisectioning'. Typically, the calculation of a Bernoulli number requires the calculation of all previous Bernoulli numbers. The method of multisectioning is such that only a fraction of the previous Bernoulli :numbers are needed. In exchange, a more complicated recursion formula, called a "laeunary recursion formula", must be derived and used. 1 H i s t o r y Bernoulli numbers were first introduced by Jacques Bernoulli (1654-1705), in the second part of his treatise published in 1713, Are conjectandi ("Art of Conjecturing"). At the time, Bernoulli numbers were used for writing the infinite series expansions of hyperbolic and trigonometric functions [2]. Van den Berg was the first to discuss finding recurrence formulae for the Bernoulli numbers with arbitrary sized gaps (1881) [4]. Ramanujan showed how gaps of size 7 could be found, and explicitly wrote out the recursion for gaps of size 6 [1, 4, 5]. Lehmer in 1934 extended these methods to Euler numbers, Genocchi numbers, and Lucas numbers (1934) [4], and calculated the 196-th Bernoulli number. These methods to find new recurrences for Bernoulli numbers, and numbers related to the Bernoulli numbers were automated in Maple, and discussed in a much more general setting for my thesis [3].

[1]  Keith O. Geddes,et al.  Maple V Programming Guide , 1996 .

[2]  Rüdiger Loos,et al.  Applying Linear Quantifier Elimination , 1993, Comput. J..

[3]  Kevin G. Hare,et al.  Multisectioning, Rational Poly-Exponential Functions and Parallel Computation , 1999 .

[4]  Adriano M. Garsia,et al.  Group actions on Stanley-Reisner rings and invariants of permutation groups☆ , 1984 .

[5]  A. J. Strecok,et al.  On the calculation of the inverse of the error function , 1968 .

[6]  Laurent Bernardin,et al.  A review of symbolic solvers , 1996, SIGS.

[7]  D. H. Lehmer Lacunary Recurrence Formulas for The Numbers of Bernoulli and Euler , 1935 .

[8]  Volker Weispfenning,et al.  Quantifier Elimination for Real Algebra — the Quadratic Case and Beyond , 1997, Applicable Algebra in Engineering, Communication and Computing.

[9]  L. Dries A generalization of the Tarski-Seidenberg theorem, and some nondefinability results , 1986 .

[10]  Volker Weispfenning,et al.  Mixed real-integer linear quantifier elimination , 1999, ISSAC '99.

[11]  Daniel Richardson Local Theories and Cylindrical Decomposition , 1998 .

[12]  Richard J. Fateman,et al.  Symbolic Mathematics System Evaluators , 2002 .

[13]  Carl B. Boyer,et al.  A History of Mathematics. , 1993 .

[14]  A. Tarski A Decision Method for Elementary Algebra and Geometry , 2023 .

[15]  Willy Hereman,et al.  Review of Symbolic Software for the Computation of Lie Symmetries of Differential Equations , 1994 .

[16]  Volker Weispfenning,et al.  Gröbner bases for polynomial ideals over commutative regular rings , 1987, EUROCAL.

[17]  Angus Macintyre,et al.  On the decidability of the real exponential field , 1996 .

[18]  L. Dries Remarks on Tarski's problem concerning (R, +, *, exp) , 1984 .