Found 5 document(s)
Page 1 of 1
-
Many identities involving special functions can be proved using the theory of D-finite or holonomic sequences and functions. This theory applies in particular to numerous combinatorial identities. This work presents a th...
-
We give an algorithm to compute asymptotic expansions of exp-log functions. This algorithm automatically computes the necessary asymptotic scale and does not suffer from problems of indefinite cancellation. In particular...
-
A number of recent papers have been concerned with algorithms to decide the limiting behaviour of functions of a single variable. Here we make a corresponding study of a class of functions of two variables, namely the ex...
-
These seminar notes represent the proceedings (some in French) of a seminar devoted to the analysis of algorithms and related topics. The subjects covered include combinatorial models and random generation, symbolic comp...
-
Many probabilistic properties of elementary discrete combinatorial structures of interest for the average-case analysis of algorithms prove to be decidable. This paper presents a general framework in which such decision ...