{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T00:49:44Z","timestamp":1777510184172,"version":"3.51.4"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T00:00:00Z","timestamp":1569542400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T00:00:00Z","timestamp":1569542400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1007\/s10208-019-09437-9","type":"journal-article","created":{"date-parts":[[2019,9,28]],"date-time":"2019-09-28T00:02:32Z","timestamp":1569628952000},"page":"681-752","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Symbolic Computations of First Integrals for Polynomial Vector Fields"],"prefix":"10.1007","volume":"20","author":[{"given":"Guillaume","family":"Ch\u00e8ze","sequence":"first","affiliation":[]},{"given":"Thierry","family":"Combot","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,27]]},"reference":[{"issue":"10","key":"9437_CR1","doi-asserted-by":"publisher","first-page":"2313","DOI":"10.1016\/j.cpc.2012.04.012","volume":"183","author":"J Avellar","year":"2012","unstructured":"J.\u00a0Avellar, L.G.S. Duarte, and L.A.C.P. da\u00a0Mota. PSsolver: A Maple implementation to solve first order ordinary differential equations with Liouvillian solutions. Computer Physics Communications, 183(10):2313 \u2013 2314, 2012.","journal-title":"Computer Physics Communications"},{"issue":"2","key":"9437_CR2","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/j.cam.2004.12.014","volume":"182","author":"J Avellar","year":"2005","unstructured":"J.\u00a0Avellar, L.G.S. Duarte, S.E.S. Duarte, and L.A.C.P. da\u00a0Mota. Integrating first-order differential equations with Liouvillian solutions via quadratures: a semi-algorithmic method. Journal of Computational and Applied Mathematics, 182(2):327 \u2013 332, 2005.","journal-title":"Journal of Computational and Applied Mathematics"},{"issue":"3","key":"9437_CR3","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1137\/S0895479892230031","volume":"15","author":"B Beckermann","year":"1994","unstructured":"B.\u00a0Beckermann and G.\u00a0Labahn. A uniform approach for the fast computation of matrix-type Pad\u00e9 approximants. SIAM J. Matrix Anal. Appl., 15(3):804\u2013823, 1994.","journal-title":"SIAM J. Matrix Anal. Appl."},{"key":"9437_CR4","doi-asserted-by":"crossref","unstructured":"D.\u00a0Bini and V.\u00a0Pan. Polynomial and matrix computations. Vol. 1. Progress in Theoretical Computer Science. Birkh\u00e4user Boston Inc., Boston, MA, 1994. Fundamental algorithms.","DOI":"10.1007\/978-1-4612-0265-3_1"},{"issue":"299","key":"9437_CR5","doi-asserted-by":"publisher","first-page":"1393","DOI":"10.1090\/mcom\/3007","volume":"85","author":"A Bostan","year":"2016","unstructured":"A.\u00a0Bostan, G.\u00a0Ch\u00e8ze, T.\u00a0Cluzeau, and J.-A. Weil. Efficient algorithms for computing rational first integrals and Darboux polynomials of planar polynomial vector fields. Math. Comp., 85(299):1393\u20131425, 2016.","journal-title":"Math. Comp."},{"key":"9437_CR6","unstructured":"A.\u00a0Bostan, F.\u00a0Chyzak, F.\u00a0Ollivier, B.\u00a0Salvy, \u00c9.\u00a0Schost, and A.\u00a0Sedoglavic. Fast computation of power series solutions of systems of differential equations. In Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1012\u20131021, New York, 2007. ACM."},{"key":"9437_CR7","doi-asserted-by":"crossref","unstructured":"A.\u00a0Bostan, G.\u00a0Lecerf, E.\u00a0Schost, E.\u00a0Salvy, and B.\u00a0Wiebelt. Complexity issues in bivariate polynomial factorization. In Proceedings of ISSAC\u201904, pages 42\u201349. ACM Press, 2004.","DOI":"10.1145\/1005285.1005294"},{"key":"9437_CR8","unstructured":"M.\u00a0Bronstein. Symbolic integration. I, volume\u00a01 of Algorithms and Computation in Mathematics. Springer-Verlag, Berlin, second edition, 2005. Transcendental functions, With a foreword by B. F. Caviness."},{"issue":"3","key":"9437_CR9","doi-asserted-by":"publisher","first-page":"735","DOI":"10.5802\/aif.2198","volume":"56","author":"G Casale","year":"2006","unstructured":"G.\u00a0Casale. Feuilletages singuliers de codimension un, groupo\u00efde de Galois et int\u00e9grales premi\u00e8res. Annales de l\u2019Institut Fourier, 56(3):735\u2013779, 2006.","journal-title":"Annales de l\u2019Institut Fourier"},{"issue":"2","key":"9437_CR10","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1016\/j.jco.2010.10.004","volume":"27","author":"G Ch\u00e8ze","year":"2011","unstructured":"G.\u00a0Ch\u00e8ze. Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time. J. Complexity, 27(2):246\u2013262, 2011.","journal-title":"J. Complexity"},{"key":"9437_CR11","unstructured":"G.\u00a0Ch\u00e8ze. D\u00e9composition et int\u00e9grales premi\u00e8res rationnelles: algorithmes et complexit\u00e9. Habilitation thesis, Universit\u00e9 Paul Sabatier, Toulouse 3, 2014."},{"issue":"10","key":"9437_CR12","doi-asserted-by":"publisher","first-page":"3535","DOI":"10.1016\/j.jde.2015.01.027","volume":"258","author":"G Ch\u00e8ze","year":"2015","unstructured":"G.\u00a0Ch\u00e8ze. Bounding the number of remarkable values via Jouanolou\u2019s theorem. Journal of Differential Equations, 258(10):3535 \u2013 3545, 2015.","journal-title":"Journal of Differential Equations"},{"key":"9437_CR13","unstructured":"C.\u00a0Christopher. Liouvillian first integrals of second order polynomial differential equations. Electron. J. Differential Equations, pages No. 49, 7 pp. (electronic), 1999."},{"issue":"1","key":"9437_CR14","doi-asserted-by":"publisher","first-page":"63","DOI":"10.2140\/pjm.2007.229.63","volume":"229","author":"C Christopher","year":"2007","unstructured":"C.\u00a0Christopher, J.\u00a0Llibre, and J.\u00a0Pereira. Multiplicity of invariant algebraic curves in polynomial vector fields. Pacific J. Math., 229(1):63\u2013117, 2007.","journal-title":"Pacific J. Math."},{"key":"9437_CR15","unstructured":"A.\u00a0Clairaut. Recherches g\u00e9n\u00e9rales sur le calcul int\u00e9gral. M\u00e9moires de l\u2019Acad\u00e9mie Royale des Sciences, pages 425\u2013436, 1739."},{"key":"9437_CR16","unstructured":"G.\u00a0Darboux. M\u00e9moire sur les \u00e9quations diff\u2019\u00e9rentielles du premier ordre et du premier degr\u00e9. Bull. Sci. Math., 32:60\u201396, 123\u2013144, 151\u2013200, 1878."},{"issue":"4","key":"9437_CR17","doi-asserted-by":"publisher","first-page":"1001","DOI":"10.1088\/0305-4470\/35\/4\/312","volume":"35","author":"LGS Duarte","year":"2002","unstructured":"L.\u00a0G.\u00a0S. Duarte, S.\u00a0E.\u00a0S. Duarte, and L.\u00a0A. C.\u00a0P. da\u00a0Mota. Analysing the structure of the integrating factors for first-order ordinary differential equations with Liouvillian functions in the solution. J. Phys. A, 35(4):1001\u20131006, 2002.","journal-title":"J. Phys. A"},{"issue":"17","key":"9437_CR18","doi-asserted-by":"publisher","first-page":"3899","DOI":"10.1088\/0305-4470\/35\/17\/306","volume":"35","author":"LGS Duarte","year":"2002","unstructured":"L.\u00a0G.\u00a0S. Duarte, S.\u00a0E.\u00a0S. Duarte, and L.\u00a0A. C.\u00a0P. da\u00a0Mota. A method to tackle first-order ordinary differential equations with Liouvillian functions in the solution. J. Phys. A, 35(17):3899\u20133910, 2002.","journal-title":"J. Phys. A"},{"key":"9437_CR19","unstructured":"F.\u00a0Dumortier, J.\u00a0Llibre, and J.\u00a0Art\u00e9s. Qualitative theory of planar differential systems. Universitext. Springer-Verlag, Berlin, 2006."},{"issue":"1\u20132","key":"9437_CR20","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s12346-010-0021-x","volume":"9","author":"A Ferragut","year":"2010","unstructured":"A.\u00a0Ferragut and H.\u00a0Giacomini. A new algorithm for finding rational first integrals of polynomial vector fields. Qual. Theory Dyn. Syst., 9(1-2):89\u201399, 2010.","journal-title":"Qual. Theory Dyn. Syst."},{"issue":"4","key":"9437_CR21","doi-asserted-by":"publisher","first-page":"437","DOI":"10.4310\/MRL.1995.v2.n4.a5","volume":"2","author":"A Gabrielov","year":"1995","unstructured":"A.\u00a0Gabrielov. Multiplicities of zeroes of polynomials on trajectories of polynomial vector fields and bounds on degree of nonholonomy. Math. Res. Lett., 2(4):437\u2013451, 1995.","journal-title":"Math. Res. Lett."},{"key":"9437_CR22","volume-title":"Modern computer algebra","author":"J von zur Gathen","year":"1999","unstructured":"J.\u00a0von zur Gathen and J.\u00a0Gerhard. Modern computer algebra. Cambridge University Press, New York, 1999."},{"key":"9437_CR23","doi-asserted-by":"crossref","unstructured":"A.\u00a0Goriely. Integrability and nonintegrability of dynamical systems, volume\u00a019 of Advanced Series in Nonlinear Dynamics. World Scientific Publishing Co. Inc., River Edge, NJ, 2001.","DOI":"10.1142\/3846"},{"key":"9437_CR24","doi-asserted-by":"crossref","unstructured":"C.-P. Jeannerod, V.\u00a0Neiger, E.\u00a0Schost, and G.\u00a0Villard. Computing minimal interpolation bases. Journal of Symbolic Computation, 83(Supplement C):272 \u2013 314, 2017. Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra.","DOI":"10.1016\/j.jsc.2016.11.015"},{"key":"9437_CR25","doi-asserted-by":"crossref","unstructured":"J.-P. Jouanolou. \u00c9quations de Pfaff alg\u00e9briques, volume 708 of Lecture Notes in Mathematics. Springer, Berlin, 1979.","DOI":"10.1007\/BFb0063393"},{"key":"9437_CR26","unstructured":"D.\u00a0Lay. Linear Algebra and Its Applications (5th Edition). Pearson, 2015."},{"issue":"254","key":"9437_CR27","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1090\/S0025-5718-06-01810-2","volume":"75","author":"G Lecerf","year":"2006","unstructured":"G.\u00a0Lecerf. Sharp precision in Hensel lifting for bivariate polynomial factorization. Math. Comp., 75(254):921\u2013933, 2006.","journal-title":"Math. Comp."},{"issue":"5","key":"9437_CR28","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1006\/jsco.1993.1057","volume":"16","author":"Y-K Man","year":"1993","unstructured":"Y.-K. Man. Computing closed form solutions of first order odes using the Prelle-Singer procedure. Journal of Symbolic Computation, 16(5):423 \u2013 443, 1993.","journal-title":"Journal of Symbolic Computation"},{"issue":"1","key":"9437_CR29","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1006\/jsco.1997.0111","volume":"24","author":"Y-K Man","year":"1997","unstructured":"Y.-K. Man and M.\u00a0MacCallum. A rational approach to the Prelle-Singer algorithm. J. Symbolic Comput., 24(1):31\u201343, 1997.","journal-title":"J. Symbolic Comput."},{"issue":"5","key":"9437_CR30","doi-asserted-by":"publisher","first-page":"1385","DOI":"10.5802\/aif.1858","volume":"51","author":"J Pereira","year":"2001","unstructured":"J.\u00a0Pereira. Vector fields, invariant varieties and linear systems. Ann. Inst. Fourier (Grenoble), 51(5):1385\u20131405, 2001.","journal-title":"Ann. Inst. Fourier (Grenoble)"},{"key":"9437_CR31","unstructured":"\u00c9. Picard. Sur les int\u00e9grales doubles de fonctions rationnelles dont tous les r\u00e9sidus sont nuls. Bulletin des sciences math\u00e9matiques, s\u00e9rie\u00a02, 26, 1902."},{"issue":"1","key":"9437_CR32","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1090\/S0002-9947-1983-0704611-X","volume":"279","author":"M Prelle","year":"1983","unstructured":"M.\u00a0Prelle and M.\u00a0Singer. Elementary first integrals of differential equations. Trans. Amer. Math. Soc., 279(1):215\u2013229, 1983.","journal-title":"Trans. Amer. Math. Soc."},{"key":"9437_CR33","doi-asserted-by":"crossref","unstructured":"J.-J. Risler. A bound for the degree of nonholonomy in the plane. Theoret. Comput. Sci., 157(1):129\u2013136, 1996. Algorithmic complexity of algebraic and geometric models (Creteil, 1994).","DOI":"10.1016\/0304-3975(95)00180-8"},{"key":"9437_CR34","first-page":"167","volume":"369","author":"W Ruppert","year":"1986","unstructured":"W.\u00a0Ruppert. Reduzibilit\u00e4t Ebener Kurven. J. Reine Angew. Math., 369:167\u2013191, 1986.","journal-title":"J. Reine Angew. Math."},{"key":"9437_CR35","doi-asserted-by":"crossref","unstructured":"A.\u00a0Schinzel. Polynomials with special regard to reducibility, volume\u00a077 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 2000. With an appendix by Umberto Zannier.","DOI":"10.1017\/CBO9780511542916"},{"issue":"5","key":"9437_CR36","first-page":"433","volume":"11","author":"D Schlomiuk","year":"1993","unstructured":"D.\u00a0Schlomiuk. Elementary first integrals and algebraic invariant curves of differential equations. Exposition. Math., 11(5):433\u2013454, 1993.","journal-title":"Exposition. Math."},{"issue":"2","key":"9437_CR37","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1090\/S0002-9947-1992-1062869-X","volume":"333","author":"M Singer","year":"1992","unstructured":"M.\u00a0Singer. Liouvillian first integrals of differential equations. Trans. Amer. Math. Soc., 333(2):673\u2013688, 1992.","journal-title":"Trans. Amer. Math. Soc."},{"key":"9437_CR38","doi-asserted-by":"crossref","unstructured":"X.\u00a0Zhang. Integrability of Dynamical Systems: Algebra and Analysis. Developments in Mathematics. Springer Singapore, 2017.","DOI":"10.1007\/978-981-10-4226-3"},{"issue":"7","key":"9437_CR39","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1016\/j.jsc.2011.12.009","volume":"47","author":"W Zhou","year":"2012","unstructured":"W.\u00a0Zhou and G.\u00a0Labahn. Efficient algorithms for order basis computation. J. Symbolic Comput., 47(7):793\u2013819, 2012.","journal-title":"J. Symbolic Comput."}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-019-09437-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-019-09437-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-019-09437-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,25]],"date-time":"2020-09-25T23:36:57Z","timestamp":1601077017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-019-09437-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,27]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["9437"],"URL":"https:\/\/doi.org\/10.1007\/s10208-019-09437-9","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9,27]]},"assertion":[{"value":"19 October 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 December 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 July 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 September 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}