TeX:
\operatorname{Ai}\!\left(0\right) = \frac{1}{{3}^{2 / 3} \Gamma\!\left(\frac{2}{3}\right)} \in \left[0.355028053887817239260063186004 \pm 1.84 \cdot 10^{-31}\right]
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
AiryAi | Airy function of the first kind | |
Pow | Power | |
GammaFunction | Gamma function |
Source code for this entry:
Entry(ID("693cfe"), Formula(EqualAndElement(AiryAi(0), Div(1, Mul(Pow(3, Div(2, 3)), GammaFunction(Div(2, 3)))), RealBall(Decimal("0.355028053887817239260063186004"), Decimal("1.84e-31")))))