Symbolic Asymptotics: Multiseries of Inverse Functions
Résumé
We give an algorithm to compute an asymptotic expansion of multiseries type for the inverse of any given exp-log function. An example of the use of this algorithm to compute asymptotic expansions in combinatorics via the saddle-point method is then treated in detail.