TeX:
\pi = 2 \int_{-1}^{1} \sqrt{1 - {x}^{2}} \, dxDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstPi | The constant pi (3.14...) | |
| Sqrt | Principal square root | |
| Pow | Power |
Source code for this entry:
Entry(ID("464961"),
Formula(Equal(ConstPi, Mul(2, Integral(Sqrt(Sub(1, Pow(x, 2))), Tuple(x, -1, 1))))))