1: \begin{abstract}

2: The coefficient sequences of multivariate rational functions appear in many areas

3: of combinatorics. Their diagonal coefficient sequences enjoy nice

4: arithmetic and asymptotic properties, and the field of analytic combinatorics in

5: several variables (ACSV) makes it possible to compute asymptotic expansions.

6: We consider these methods from the point of view of effectivity.  

7: In particular, given a rational

8: function, ACSV requires one to determine a (generically) finite

9: collection of points that are called critical and minimal. 

10: Criticality is an algebraic condition, meaning it is well treated by 

11: classical methods in computer algebra, while minimality is a

12: semi-algebraic condition describing points on the boundary of the

13: domain of convergence of a multivariate power series. 

14: We show how to obtain dominant asymptotics for the diagonal

15: coefficient sequence of multivariate rational functions under some

16: genericity assumptions using symbolic-numeric techniques.  

17: To our knowledge, this is the first completely automatic treatment and

18: complexity analysis for the asymptotic enumeration of rational

19: functions in an arbitrary number of variables.

20: \end{abstract}

21: