Fungrim entry: 807917

\operatorname{Ai}'\!\left(0\right) = -\frac{1}{{3}^{1 / 3} \Gamma\!\left(\frac{1}{3}\right)} \in \left[-0.258819403792806798405183560189 \pm 2.04 \cdot 10^{-31}\right]

TeX:

\operatorname{Ai}'\!\left(0\right) = -\frac{1}{{3}^{1 / 3} \Gamma\!\left(\frac{1}{3}\right)} \in \left[-0.258819403792806798405183560189 \pm 2.04 \cdot 10^{-31}\right]

Definitions:

Fungrim symbol	Notation	Short description
`AiryAi`	$\operatorname{Ai}\!\left(z\right)$	Airy function of the first kind
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function

Source code for this entry:

Entry(ID("807917"),
    Formula(EqualAndElement(AiryAi(0, 1), Neg(Div(1, Mul(Pow(3, Div(1, 3)), Gamma(Div(1, 3))))), RealBall(Decimal("-0.258819403792806798405183560189"), Decimal("2.04e-31")))))

Topics using this entry

Airy functions

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