What are the most general methods for solving equations with help of Lambert W function or with a generalization of Lambert W function in closed form?
I gave a method in MSE here.
Which algorithms are used e.g. by the computer algebra systems?
MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.
Sign up to join this communityWhat are the most general methods for solving equations with help of Lambert W function or with a generalization of Lambert W function in closed form?
I gave a method in MSE here.
Which algorithms are used e.g. by the computer algebra systems?
This paper on Lambert W functions by Corless, Knuth and others should help.
I have found the following (very easy) result to be absolutely essential in estimating the number of terms to take in multiprecision computations:
Let as usual $W_0$ and $W_{-1}$ be the two branches of the Lambert function.
1) Let $a\in\mathbb R$, $b>0$, $c>0$, and $B>0$. The solution to the inequality $x^ae^{-bx^c}<e^{-B}$ with $x\ge(a/bc)^{1/c}$ is given by: $$\begin{cases} x>((-a/(bc))W_{-1}(-(bc/a)e^{-(c/a)B}))^{1/c}&\text{ if $a>0$}\\ x>(B/b)^{1/c}&\text{ if $a=0$}\\ x>((-a/(bc))W_0(-(bc/a)e^{-(c/a)B}))^{1/c}&\text{ if $a<0$.}\end{cases}$$ In particular, in all cases, as $B\to\infty$ we have $$x>((1/b)(B+(a/c)\log(B/b)))^{1/c}+o(1).$$
2) If $a\in\mathbb R$ and $B>0$, the solution to the inequality $x\log(x)-ax>B$ with $x>0$ is $x>B/W_0(Be^{-a})$.