Fungrim home page

Fungrim entry: c54c85

G=120xcosh(x)dxG = \frac{1}{2} \int_{0}^{\infty} \frac{x}{\cosh(x)} \, dx
G = \frac{1}{2} \int_{0}^{\infty} \frac{x}{\cosh(x)} \, dx
Fungrim symbol Notation Short description
ConstCatalanGG Catalan's constant
Integralabf(x)dx\int_{a}^{b} f(x) \, dx Integral
Infinity\infty Positive infinity
Source code for this entry:
    Formula(Equal(ConstCatalan, Mul(Div(1, 2), Integral(Div(x, Cosh(x)), For(x, 0, Infinity))))))

Topics using this entry

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