TeX:
\Pi\!\left(\frac{1}{2}, 0\right) = \frac{\pi \sqrt{2}}{2}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| EllipticPi | Legendre complete elliptic integral of the third kind | |
| Pi | The constant pi (3.14...) | |
| Sqrt | Principal square root |
Source code for this entry:
Entry(ID("124d02"),
Formula(Equal(EllipticPi(Div(1, 2), 0), Div(Mul(Pi, Sqrt(2)), 2))))