Meta-expansion of transseries
The asymptotic behaviour of many univariate functions can only be expressed in generalized asymptotic scales, which are not merely formed of powers of a single variable. The computation of asymptotic expansions of functions in such generalized scales may lead to infinite cancellations, which complicate the design and implementation of practical algorithms. In this paper, we introduce a new heuristic technique of "meta-expansions", which is both simple and efficient in practice, even though the answers are not guaranteed to be correct in general. (C) 2010 Elsevier Ltd. All rights reserved.
transseries asymptotic expansion algorithm zero-test