Fungrim home page

Fungrim entry: 8e8a59

W0(r) ⁣(0)=(−r)r−1W^{(r)}_{0}\!\left(0\right) = {\left(-r\right)}^{r - 1}
Assumptions:r∈Z≥1r \in \mathbb{Z}_{\ge 1}
TeX:
W^{(r)}_{0}\!\left(0\right) = {\left(-r\right)}^{r - 1}

r \in \mathbb{Z}_{\ge 1}
Definitions:
Fungrim symbol Notation Short description
LambertWW ⁣(z)W\!\left(z\right) Lambert W-function
Powab{a}^{b} Power
ZZGreaterEqualZ≥n\mathbb{Z}_{\ge n} Integers greater than or equal to n
Source code for this entry:
Entry(ID("8e8a59"),
    Formula(Equal(LambertW(0, 0, r), Pow(Neg(r), Sub(r, 1)))),
    Variables(r),
    Assumptions(Element(r, ZZGreaterEqual(1))))

Topics using this entry

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