On the computation and verification of π using BBP-type formulas

1. Adamchik, V., Wagon, S.: π: A 2000-year-old search changes direction. Mathematica

in Education and Research 5, 11–19 (1996)

2. Adamchik, V., Wagon, S.: A simple formula for π. Am. Math. Mon. 104, 852–855

(1997)

3. Adegoke, K., Lafont, J.O., Layeni, O.: A class of digit extraction BBP-type formulas in

general binary bases. Notes Number Theory Discrete Math. 17, 18–32 (2011)

4. Bailey, D., Borwein, P., Plouffe, S.: On the rapid computation of various polylogarithmic

constants. Math. Comput. 66, 903–913 (1997)

5. Bailey,

D.H.:

The

BBP

algorithm

for

pi

(2006).

URL

http://www.davidhbailey.com/dhbpapers/bbp-alg.pdf

6. Bailey, D.H.: A compendium of BBP-type formulas for mathematical constants (2017).

URL http://www.davidhbailey.com/dhbpapers/bbp-formulas.pdf

On the computation and verification of π using BBP-type formulas

7. Bailey, D.H., Broadhurst, D.J.: Parallel integer relation detection: Techniques and applications. Math. Comput. 70, 1719–1736 (2000)

8. Bellard, F.: The 1000 billionth binary digit of pi is ’1’ ! (1997).

URL

http://bellard.org/pi-challenge/announce220997.html

9. Bellard, F.: A new formula to compute the n’th binary digit of pi (1997). URL

http://bellard.org/pi/pi bin.pdf

10. Borwein, J., Bailey, D.: Mathematics by Experiment: Plausible Reasoning in the 21st

Century. A K Peters, Natick, MA (2003)

11. Ferguson, H.R.P., Bailey, D.H., Arno, S.: Analysis of PSLQ, an integer relation finding

algorithm. Math. Comput. 68, 351–369 (1999)

12. Gauss, C.F.: Werke, vol. 2. K¨

oniglichen Gesellschaft der Wissenschaften, G¨

ottingen

(1863)

13. Huvent, G.: Formules BBP (2001). URL http://gery.huvent.pagesperso-orange.fr/pi/

huvent seminaire.pdf

14. Karrels, E.: Computing the quadrillionth digit of π (2013).

URL http://ondemand.gputechconf.com/gtc/2013/presentations/S3071-Computing-theQuadrillionth-Digit-of-Pi.pdf

15. Karrels, E.: Computing digits of π with CUDA (2017). URL http://www.karrels.org/pi/

16. Percival, C.: PiHex a distributed effort to calculate pi (2000).

URL

http://wayback.cecm.sfu.ca/projects/pihex/

17. Shanks, D., Wrench, Jr., J.W.: Calculation of π to 100,000 decimals. Math. Comput.

16, 76–99 (1962)

18. Størmer, C.: Sur l’application de la th´

eorie des nombres entiers complexes `

a la solution

en nombres rationnels x1 x2 . . . xn c1 c2 . . . cn , k de l’´

equation: c1 arc tg x1 +c2 arc tg x2 +

· · · + cn arc tg xn = kπ/4. Archiv for Mathematik og Naturvidenskab 19(3), 1–96 (1896)

ˇ c, D., Atlagi´

19. Suti´

c, B.: Performance evaluation of various Bailey–Borwein–Plouffe-type

formulae. In: Proc. 22nd Telecommunications Forum (TELFOR 2014), pp. 1083–1086

(2014)

20. Sze, T.W.: The two quadrillionth bit of pi is 0! distributed computation of pi with

Apache Hadoop. In: Proc. 2010 IEEE Second International Conference on Cloud Computing Technology and Science (CloudCom 2010), pp. 727–732 (2010)

21. Takahashi, D.: Computation of the 100 quadrillionth hexadecimal digit of π on a cluster

of Intel Xeon Phi processors. Parallel Comput. 75, 1–10 (2018)

22. Tweddle, I.: John Machin and Robert Simson on inverse-tangent series for π. Arch.

Hist. Exact Sci. 42, 1–14 (1991)

...