Computing limits of sequences

Automated asymptotic methods only recently became subject of symbolic computation. Contributions like [3, 12, 5, 10, 13] discuss a variety of aspects concerning the asymptotic analysis of continuous, real-valued functions. First approaches employed generalized series expansion [5, 3], later methods are based on the theory of Hardy fields [6]. So far, it seems that more emphasis was laid on the treatment of continuous functions, and although some mathematical fundaments are already available [1, 2], algorithmic approaches for the discrete case seem rare. Our poster focuses on limit computation of sequences in Q, more specifically, of sequences that can be defined by HE-expressions [7]. We will present a rather simple approach which avoids the use of heavy theory but whose first applications already give promising fine results.