A new derivation of Stirling's approximation of n!
American Mathematical Monthly
ACM SIGSAM Bulletin
A sequence of series for the Lambert W function
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Concrete Math
Reasoning about the Elementary Functions of Complex Analysis
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Series transformations to improve and extend convergence
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Algorithm 917: Complex Double-Precision Evaluation of the Wright ω Function
ACM Transactions on Mathematical Software (TOMS)
| Hi-index | 0.00 |
This paper defines the Wright 驴 function,and presents some of its properties. As well as being of intrinsic mathematical interest,the function has a specific interest in the context of symbolic computation and automatic reasoning with nonstandard functions. In particular, although Wright 驴 is a cognate of the Lambert W function,it presents a different model for handling the branches and multiple values that make the properties of W difficult to work with. By choosing a form for the function that has fewer discontinuities (and numerical difficulties),w e make reasoning about expressions containing such functions easier. A final point of interest is that some of the techniques used to establish the mathematical properties can themselves potentially be automated, as was discussed in a paper presented at AISC Madrid [3].