J. Avellar, L. G. Duarte, and L. A. Da-mota, Pssolver: A Maple implementation to solve first order ordinary differential equations with Liouvillian solutions, Computer Physics Communications, vol.183, issue.10, pp.2313-2314, 2012.

J. Avellar, L. G. Duarte, S. E. Duarte, and L. A. Da-mota, Integrating first-order differential equations with Liouvillian solutions via quadratures: a semi-algorithmic method, Journal of Computational and Applied Mathematics, vol.182, issue.2, pp.327-332, 2005.

B. Beckermann and G. Labahn, A uniform approach for the fast computation of matrix-type Padé approximants, SIAM J. Matrix Anal. Appl, vol.15, issue.3, pp.804-823, 1994.

D. Bini and V. , Progress in Theoretical Computer Science. Birkhäuser Boston Inc, vol.1, 1994.

A. Bostan, G. Chèze, T. Cluzeau, and J. Weil, Efficient algorithms for computing rational first integrals and Darboux polynomials of planar polynomial vector fields, Math. Comp, vol.85, issue.299, pp.1393-1425, 2016.
URL : https://hal.archives-ouvertes.fr/hal-00871663

A. Bostan, F. Chyzak, F. Ollivier, B. Salvy, ´. E. Schost et al., Fast computation
URL : https://hal.archives-ouvertes.fr/inria-00000960

, Annual ACM-SIAM Symposium on Discrete Algorithms, pp.1012-1021, 2007.

A. Bostan, G. Lecerf, E. Schost, E. Salvy, and B. Wiebelt, Complexity issues in bivariate polynomial factorization, Proceedings of ISSAC'04, pp.42-49, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00186759

M. Bronstein, Symbolic integration. I, volume 1 of Algorithms and Computation in Mathematics

G. Casale, Feuilletages singuliers de codimension un, groupo¨?degroupo¨?de de Galois et intégrales premì eres, Annales de l'Institut Fourier, vol.56, issue.3, pp.735-779, 2006.

G. Chèze, Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time, J. Complexity, vol.27, issue.2, pp.246-262, 2011.

G. Chèze, Décomposition et intégralespremì eres rationnelles: algorithmes et complexité. Habilitation thesis, vol.3, 2014.

G. Chèze, Bounding the number of remarkable values via Jouanolou's theorem, Journal of Differential Equations, vol.258, issue.10, pp.3535-3545, 2015.

C. Christopher, Liouvillian first integrals of second order polynomial differential equations, Electron. J. Differential Equations, vol.7, issue.49, 1999.

C. Christopher, J. Llibre, and J. Pereira, Multiplicity of invariant algebraic curves in polynomial vector fields, Pacific J. Math, vol.229, issue.1, pp.63-117, 2007.

G. Darboux, Mémoire sur leséquationsleséquations diff'´ erentielles du premier ordre et du premier degré, Bull. Sci. Math, vol.32, pp.151-200, 1878.

L. G. Duarte, S. E. Duarte, and L. A. Da-mota, Analysing the structure of the integrating factors for first-order ordinary differential equations with Liouvillian functions in the solution, J. Phys. A, vol.35, issue.4, pp.1001-1006, 2002.

L. G. Duarte, S. E. Duarte, and L. A. Da-mota, A method to tackle first-order ordinary differential equations with Liouvillian functions in the solution, J. Phys. A, vol.35, issue.17, pp.3899-3910, 2002.

F. Dumortier, J. Llibre, and J. Artés, Qualitative theory of planar differential systems. Universitext, 2006.

A. Ferragut and H. Giacomini, A new algorithm for finding rational first integrals of polynomial vector fields, Qual. Theory Dyn. Syst, vol.9, issue.1-2, pp.89-99, 2010.

A. Gabrielov, Multiplicities of zeroes of polynomials on trajectories of polynomial vector fields and bounds on degree of nonholonomy, Math. Res. Lett, vol.2, issue.4, pp.437-451, 1995.

J. Von-zur-gathen and J. Gerhard, Modern computer algebra, 1999.

A. Goriely, Integrability and nonintegrability of dynamical systems, Advanced Series in Nonlinear Dynamics, vol.19, 2001.

C. Jeannerod, V. Neiger, E. Schost, and G. Villard, Computing minimal interpolation bases, Journal of Symbolic Computation, vol.83, pp.272-314, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01241781

J. Jouanolou, ´ Equations de Pfaff algébriques, vol.708
DOI : 10.1007/bfb0063393

. Springer, , 1979.

D. Lay, Linear Algebra and Its Applications, 2015.

G. Lecerf, Sharp precision in Hensel lifting for bivariate polynomial factorization, Math. Comp, vol.75, issue.254, pp.921-933, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00186733

Y. Man, Computing closed form solutions of first order odes using the Prelle-Singer procedure, Journal of Symbolic Computation, vol.16, issue.5, pp.423-443, 1993.

Y. Man and M. Maccallum, A rational approach to the Prelle-Singer algorithm, J. Symbolic Comput, vol.24, issue.1, pp.31-43, 1997.

J. Pereira, Vector fields, invariant varieties and linear systems, Ann. Inst. Fourier (Grenoble), vol.51, issue.5, pp.1385-1405, 2001.

´. E. Picard, Sur les intégrales doubles de fonctions rationnelles dont tous les résidus sont nuls. Bulletin des sciences mathématiques, p.26, 1902.

M. Prelle and M. Singer, Elementary first integrals of differential equations, Trans. Amer. Math. Soc, vol.279, issue.1, pp.215-229, 1983.

J. Risler, Algorithmic complexity of algebraic and geometric models, Theoret. Comput. Sci, vol.157, issue.1, pp.129-136, 1994.

W. Ruppert, Reduzibilität Ebener Kurven. J. Reine Angew. Math, vol.369, pp.167-191, 1986.

A. Schinzel, Polynomials with special regard to reducibility, of Encyclopedia of Mathematics and its Applications, vol.77, 2000.

D. Schlomiuk, Elementary first integrals and algebraic invariant curves of differential equations, Exposition. Math, vol.11, issue.5, pp.433-454, 1993.

M. Singer, Liouvillian first integrals of differential equations, Trans. Amer. Math. Soc, vol.333, issue.2, pp.673-688, 1992.

X. Zhang, Integrability of Dynamical Systems: Algebra and Analysis. Developments in Mathematics, 2017.

W. Zhou and G. Labahn, Efficient algorithms for order basis computation, J. Symbolic Comput, vol.47, issue.7, pp.793-819, 2012.

G. Chèze,

C. , U. Imt, and F. , E-mail address: guillaume.cheze@math.univ-toulouse.fr T. Combot, 2009.