Fungrim home page

Fungrim entry: 48ac55

Γ ⁣(32)=π2\Gamma\!\left(\frac{3}{2}\right) = \frac{\sqrt{\pi}}{2}
\Gamma\!\left(\frac{3}{2}\right) = \frac{\sqrt{\pi}}{2}
Fungrim symbol Notation Short description
GammaFunctionΓ(z)\Gamma(z) Gamma function
Sqrtz\sqrt{z} Principal square root
ConstPiπ\pi The constant pi (3.14...)
Source code for this entry:
    Formula(Equal(GammaFunction(Div(3, 2)), Div(Sqrt(ConstPi), 2))))

Topics using this entry

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

2019-10-05 13:11:19.856591 UTC