Fungrim home page


From Ordner, a catalog of real numbers in Fungrim.

DecimalExpression [entries]Frequency
0.636619772367581343075535053490Div(2, Pi)     [799b5e 47acde fdc94c d6703a 6fce07 d5b7e8]
Sinc(Div(Pi, 2))     [fdc94c]
Neg(Neg(Div(2, Pi)))     [d5b7e8]
Im(Div(Mul(2, ConstI), Pi))     [c18c95]
Hypergeometric2F1(Div(1, 2), Neg(Div(1, 2)), 1, 1)     [a7095f]
Where(Product(Div(a_(n), 2), For(n, 1, Infinity)), Def(a_(1), Sqrt(2)), Def(a_(n), Sqrt(Add(2, a_(Sub(n, 1))))))     [6fce07]
8 (#121)

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC