{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T05:00:05Z","timestamp":1781326805930,"version":"3.54.1"},"reference-count":57,"publisher":"American Mathematical Society (AMS)","issue":"299","license":[{"start":{"date-parts":[[2016,8,3]],"date-time":"2016-08-03T00:00:00Z","timestamp":1470182400000},"content-version":"am","delay-in-days":366,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>\n                    We present fast algorithms for computing rational first integrals with bounded degree of a planar polynomial vector field. Our approach builds upon a method proposed by Ferragut and Giacomini, whose main ingredients are the calculation of a power series solution of a first order differential equation and the reconstruction of a bivariate polynomial annihilating this power series. We provide explicit bounds on the number of terms needed in the power series. This enables us to transform their method into a certified algorithm computing rational first integrals via systems of linear equations. We then significantly improve upon this first algorithm by building a probabilistic algorithm with arithmetic complexity\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"ModifyingAbove script upper O With tilde left-parenthesis upper N Superscript 2 omega Baseline right-parenthesis\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mover>\n                                <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                  <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">O<\/mml:mi>\n                                <\/mml:mrow>\n                                <mml:mo stretchy=\"false\">\n                                  ~\n                                  \n                                <\/mml:mo>\n                              <\/mml:mover>\n                            <\/mml:mrow>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:msup>\n                              <mml:mi>N<\/mml:mi>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mn>2<\/mml:mn>\n                                <mml:mi>\n                                  \u03c9\n                                  \n                                <\/mml:mi>\n                              <\/mml:mrow>\n                            <\/mml:msup>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\tilde {\\mathcal {O}}(N^{2 \\omega })<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    and a deterministic algorithm solving the problem in at most\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"ModifyingAbove script upper O With tilde left-parenthesis upper N Superscript 2 omega plus 1 Baseline right-parenthesis\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mover>\n                                <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                  <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">O<\/mml:mi>\n                                <\/mml:mrow>\n                                <mml:mo stretchy=\"false\">\n                                  ~\n                                  \n                                <\/mml:mo>\n                              <\/mml:mover>\n                            <\/mml:mrow>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:msup>\n                              <mml:mi>N<\/mml:mi>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mn>2<\/mml:mn>\n                                <mml:mi>\n                                  \u03c9\n                                  \n                                <\/mml:mi>\n                                <mml:mo>+<\/mml:mo>\n                                <mml:mn>1<\/mml:mn>\n                              <\/mml:mrow>\n                            <\/mml:msup>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\tilde {\\mathcal {O}}(N^{2 \\omega +1})<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    arithmetic operations, where\u00a0\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper N\">\n                        <mml:semantics>\n                          <mml:mi>N<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">N<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    denotes the given bound for the degree of the rational first integral, and\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"omega\">\n                        <mml:semantics>\n                          <mml:mi>\n                            \u03c9\n                            \n                          <\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">\\omega<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    the exponent of linear algebra. We also provide a fast heuristic variant which computes a rational first integral, or fails, in\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"ModifyingAbove script upper O With tilde left-parenthesis upper N Superscript omega plus 2 Baseline right-parenthesis\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mover>\n                                <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                  <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">O<\/mml:mi>\n                                <\/mml:mrow>\n                                <mml:mo stretchy=\"false\">\n                                  ~\n                                  \n                                <\/mml:mo>\n                              <\/mml:mover>\n                            <\/mml:mrow>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:msup>\n                              <mml:mi>N<\/mml:mi>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mi>\n                                  \u03c9\n                                  \n                                <\/mml:mi>\n                                <mml:mo>+<\/mml:mo>\n                                <mml:mn>2<\/mml:mn>\n                              <\/mml:mrow>\n                            <\/mml:msup>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\tilde {\\mathcal {O}}(N^{\\omega +2})<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    arithmetic operations. By comparison, the best previously known complexity was\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper N Superscript 4 omega plus 4\">\n                        <mml:semantics>\n                          <mml:msup>\n                            <mml:mi>N<\/mml:mi>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mn>4<\/mml:mn>\n                              <mml:mi>\n                                \u03c9\n                                \n                              <\/mml:mi>\n                              <mml:mo>+<\/mml:mo>\n                              <mml:mn>4<\/mml:mn>\n                            <\/mml:mrow>\n                          <\/mml:msup>\n                          <mml:annotation encoding=\"application\/x-tex\">N^{4\\omega +4}<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    arithmetic operations. We then show how to apply a similar method to the computation of Darboux polynomials. The algorithms are implemented in a Maple package\n                    <sc>RationalFirstIntegrals<\/sc>\n                    which is available to interested readers with examples showing its efficiency.\n                  <\/p>","DOI":"10.1090\/mcom\/3007","type":"journal-article","created":{"date-parts":[[2015,8,3]],"date-time":"2015-08-03T10:13:23Z","timestamp":1438596803000},"page":"1393-1425","source":"Crossref","is-referenced-by-count":21,"title":["Efficient algorithms for computing rational first integrals and Darboux polynomials of planar polynomial vector fields"],"prefix":"10.1090","volume":"85","author":[{"given":"Alin","family":"Bostan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guillaume","family":"Ch\u00e8ze","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Cluzeau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jacques-Arthur","family":"Weil","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"14","published-online":{"date-parts":[[2015,8,3]]},"reference":[{"key":"1","isbn-type":"print","first-page":"51","article-title":"Translates of polynomials","author":"Abhyankar, Shreeram S.","year":"2003","ISBN":"https:\/\/id.crossref.org\/isbn\/3764304442"},{"key":"2","isbn-type":"print","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/1073884.1073891","article-title":"Algebraic general solutions of algebraic ordinary differential equations","author":"Aroca, J. M.","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/1595930957"},{"issue":"3","key":"3","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1137\/S0895479892230031","article-title":"A uniform approach for the fast computation of matrix-type Pad\u00e9 approximants","volume":"15","author":"Beckermann, Bernhard","year":"1994","journal-title":"SIAM J. Matrix Anal. Appl.","ISSN":"https:\/\/id.crossref.org\/issn\/0895-4798","issn-type":"print"},{"key":"4","series-title":"Progress in Theoretical Computer Science","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0265-3","volume-title":"Polynomial and matrix computations. Vol. 1","author":"Bini, Dario","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/0817637869"},{"key":"5","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s11856-008-0033-2","article-title":"Reducibility of rational functions in several variables","volume":"164","author":"Bodin, Arnaud","year":"2008","journal-title":"Israel J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0021-2172","issn-type":"print"},{"key":"6","isbn-type":"print","first-page":"1012","article-title":"Fast computation of power series solutions of systems of differential equations","author":"Bostan, A.","year":"2007","ISBN":"https:\/\/id.crossref.org\/isbn\/9780898716245"},{"key":"7","isbn-type":"print","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/1005285.1005294","article-title":"Complexity issues in bivariate polynomial factorization","author":"Bostan, A.","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/158113827X"},{"key":"8","isbn-type":"print","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1277548.1277553","article-title":"Differential equations for algebraic functions","author":"Bostan, Alin","year":"2007","ISBN":"https:\/\/id.crossref.org\/isbn\/9781595937438"},{"issue":"4","key":"9","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1145\/322092.322099","article-title":"Fast algorithms for manipulating formal power series","volume":"25","author":"Brent, R. P.","year":"1978","journal-title":"J. Assoc. Comput. Mach.","ISSN":"https:\/\/id.crossref.org\/issn\/0004-5411","issn-type":"print"},{"key":"10","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1016\/j.jalgebra.2011.06.006","article-title":"On the total order of reducibility of a pencil of algebraic plane curves","volume":"341","author":"Bus\u00e9, L.","year":"2011","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"issue":"3","key":"11","doi-asserted-by":"publisher","first-page":"217","DOI":"10.4064\/aa147-3-2","article-title":"Noether forms for the study of non-composite rational functions and their spectrum","volume":"147","author":"Bus\u00e9, Laurent","year":"2011","journal-title":"Acta Arith.","ISSN":"https:\/\/id.crossref.org\/issn\/0065-1036","issn-type":"print"},{"issue":"2","key":"12","doi-asserted-by":"publisher","first-page":"289","DOI":"10.2307\/2118601","article-title":"The Poincar\u00e9 problem in the nondicritical case","volume":"140","author":"Carnicer, Manuel M.","year":"1994","journal-title":"Ann. of Math. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0003-486X","issn-type":"print"},{"issue":"4","key":"13","doi-asserted-by":"publisher","first-page":"883","DOI":"10.5802\/aif.1278","article-title":"Holomorphic foliations in \ud835\udc36\ud835\udc43(2) having an invariant algebraic curve","volume":"41","author":"Cerveau, D.","year":"1991","journal-title":"Ann. Inst. Fourier (Grenoble)","ISSN":"https:\/\/id.crossref.org\/issn\/0373-0956","issn-type":"print"},{"issue":"2","key":"14","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.bulsci.2004.09.002","article-title":"Necessary conditions for the existence of invariant algebraic curves for planar polynomial systems","volume":"129","author":"Chavarriga, J.","year":"2005","journal-title":"Bull. Sci. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0007-4497","issn-type":"print"},{"key":"15","first-page":"54","article-title":"The Poincar\u00e9 problem in the non-resonant case: an algebraic approach","volume":"8","author":"Chavarriga, Javier","year":"2006","journal-title":"Differ. Geom. Dyn. Syst."},{"issue":"1","key":"16","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/S0022-0396(03)00190-6","article-title":"Darboux integrability and the inverse integrating factor","volume":"194","author":"Chavarriga, Javier","year":"2003","journal-title":"J. Differential Equations","ISSN":"https:\/\/id.crossref.org\/issn\/0022-0396","issn-type":"print"},{"issue":"2","key":"17","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1016\/j.jco.2010.10.004","article-title":"Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time","volume":"27","author":"Ch\u00e8ze, Guillaume","year":"2011","journal-title":"J. Complexity","ISSN":"https:\/\/id.crossref.org\/issn\/0885-064X","issn-type":"print"},{"issue":"10","key":"18","doi-asserted-by":"publisher","first-page":"3535","DOI":"10.1016\/j.jde.2015.01.027","article-title":"Bounding the number of remarkable values via Jouanolou\u2019s theorem","volume":"258","author":"Ch\u00e8ze, Guillaume","year":"2015","journal-title":"J. Differential Equations","ISSN":"https:\/\/id.crossref.org\/issn\/0022-0396","issn-type":"print"},{"issue":"283","key":"19","doi-asserted-by":"publisher","first-page":"1793","DOI":"10.1090\/S0025-5718-2012-02658-5","article-title":"A recombination algorithm for the decomposition of multivariate rational functions","volume":"82","author":"Ch\u00e8ze, Guillaume","year":"2013","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"4","key":"20","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1016\/j.na.2010.04.004","article-title":"Polynomial inverse integrating factors for quadratic differential systems","volume":"73","author":"Coll, Bartomeu","year":"2010","journal-title":"Nonlinear Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0362-546X","issn-type":"print"},{"issue":"5","key":"21","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1016\/j.jsc.2005.11.002","article-title":"Algebraic solutions of holomorphic foliations: an algorithmic approach","volume":"41","author":"Coutinho, S. C.","year":"2006","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"issue":"1","key":"22","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.jpaa.2008.06.003","article-title":"Algebraic solutions of plane vector fields","volume":"213","author":"Coutinho, S. C.","year":"2009","journal-title":"J. Pure Appl. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0022-4049","issn-type":"print"},{"key":"23","unstructured":"Gaston Darboux, M\u00e9moire sur les \u00e9quations diff\u00e9rentielles du premier ordre et du premier degr\u00e9, Bull. Sci. Math. 32 (1878), 60\u201396, 123\u2013144, 151\u2013200."},{"issue":"14","key":"24","doi-asserted-by":"publisher","first-page":"3015","DOI":"10.1088\/0305-4470\/34\/14\/308","article-title":"Solving second-order ordinary differential equations by extending the Prelle-Singer method","volume":"34","author":"Duarte, L. G. S.","year":"2001","journal-title":"J. Phys. A","ISSN":"https:\/\/id.crossref.org\/issn\/0305-4470","issn-type":"print"},{"key":"25","series-title":"Universitext","isbn-type":"print","volume-title":"Qualitative theory of planar differential systems","author":"Dumortier, Freddy","year":"2006","ISBN":"https:\/\/id.crossref.org\/isbn\/3540328939"},{"issue":"1-2","key":"26","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s12346-010-0021-x","article-title":"A new algorithm for finding rational first integrals of polynomial vector fields","volume":"9","author":"Ferragut, Antoni","year":"2010","journal-title":"Qual. Theory Dyn. Syst.","ISSN":"https:\/\/id.crossref.org\/issn\/1575-5460","issn-type":"print"},{"issue":"2","key":"27","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/j.jde.2007.05.002","article-title":"On the remarkable values of the rational first integrals of polynomial vector fields","volume":"241","author":"Ferragut, Antoni","year":"2007","journal-title":"J. Differential Equations","ISSN":"https:\/\/id.crossref.org\/issn\/0022-0396","issn-type":"print"},{"key":"28","isbn-type":"print","volume-title":"Modern computer algebra","author":"von zur Gathen, Joachim","year":"1999","ISBN":"https:\/\/id.crossref.org\/isbn\/0521641764"},{"issue":"1","key":"29","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s00033-009-0013-3","article-title":"On the integrable rational Abel differential equations","volume":"61","author":"Gin\u00e9, Jaume","year":"2010","journal-title":"Z. Angew. Math. Phys.","ISSN":"https:\/\/id.crossref.org\/issn\/0044-2275","issn-type":"print"},{"key":"30","series-title":"Advanced Series in Nonlinear Dynamics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1142\/9789812811943","volume-title":"Integrability and nonintegrability of dynamical systems","volume":"19","author":"Goriely, Alain","year":"2001","ISBN":"https:\/\/id.crossref.org\/isbn\/981023533X"},{"issue":"5","key":"31","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1006\/jsco.2000.0529","article-title":"On multivariate rational function decomposition","volume":"33","author":"Gutierrez, Jaime","year":"2002","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"32","series-title":"Lecture Notes in Mathematics","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0063393","volume-title":"\\'{E}quations de Pfaff alg\\'{e}briques","volume":"708","author":"Jouanolou, J. P.","year":"1979","ISBN":"https:\/\/id.crossref.org\/isbn\/3540092390"},{"issue":"2","key":"33","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1137\/0214035","article-title":"Polynomial-time reductions from multivariate to bi- and univariate integral polynomial factorization","volume":"14","author":"Kaltofen, Erich","year":"1985","journal-title":"SIAM J. Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0097-5397","issn-type":"print"},{"issue":"254","key":"34","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1090\/S0025-5718-06-01810-2","article-title":"Sharp precision in Hensel lifting for bivariate polynomial factorization","volume":"75","author":"Lecerf, Gr\u00e9goire","year":"2006","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"35","isbn-type":"print","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-7643-7429-2_9","article-title":"Algebraic multiplicity and the Poincar\u00e9 problem","author":"Lei, Jinzhi","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/9763764373689"},{"issue":"2","key":"36","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/j.bulsci.2007.12.001","article-title":"Rational first integrals in the Darboux theory of integrability in \u2102\u207f","volume":"134","author":"Llibre, Jaume","year":"2010","journal-title":"Bull. Sci. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0007-4497","issn-type":"print"},{"issue":"1","key":"37","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1006\/jabr.1993.1063","article-title":"Reducibility of polynomials in two variables","volume":"156","author":"Lorenzini, Dino","year":"1993","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"issue":"1","key":"38","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1006\/jsco.1997.0111","article-title":"A rational approach to the Prelle-Singer algorithm","volume":"24","author":"Man, Yiu-Kwong","year":"1997","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"issue":"2","key":"39","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BF02972683","article-title":"Algebraic closure of a rational function","volume":"5","author":"Moulin Ollagnier, Jean","year":"2004","journal-title":"Qual. Theory Dyn. Syst.","ISSN":"https:\/\/id.crossref.org\/issn\/1575-5460","issn-type":"print"},{"key":"40","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4350-2","volume-title":"Applications of Lie groups to differential equations","volume":"107","author":"Olver, Peter J.","year":"1993","ISBN":"https:\/\/id.crossref.org\/isbn\/0387940073","edition":"2"},{"issue":"5","key":"41","doi-asserted-by":"publisher","first-page":"1385","DOI":"10.5802\/aif.1858","article-title":"Vector fields, invariant varieties and linear systems","volume":"51","author":"Pereira, Jorge Vit\u00f3rio","year":"2001","journal-title":"Ann. Inst. Fourier (Grenoble)","ISSN":"https:\/\/id.crossref.org\/issn\/0373-0956","issn-type":"print"},{"issue":"2","key":"42","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s002080100277","article-title":"On the Poincar\u00e9 problem for foliations of general type","volume":"323","author":"Pereira, Jorge Vit\u00f3rio","year":"2002","journal-title":"Math. Ann.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5831","issn-type":"print"},{"key":"43","doi-asserted-by":"crossref","unstructured":"H. Poincar\u00e9, Sur l\u2019int\u00e9gration alg\u00e9brique des \u00e9quations diff\u00e9rentielles du premier ordre et du premier degr\u00e9, Rend. Circ. Mat. Palermo 5 (1891), 161\u2013191.","DOI":"10.1007\/BF03015693"},{"issue":"1","key":"44","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/1999380","article-title":"Elementary first integrals of differential equations","volume":"279","author":"Prelle, M. J.","year":"1983","journal-title":"Trans. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9947","issn-type":"print"},{"key":"45","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1515\/crll.1986.369.167","article-title":"Reduzibilit\u00e4t ebener Kurven","volume":"369","author":"Ruppert, Wolfgang","year":"1986","journal-title":"J. Reine Angew. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0075-4102","issn-type":"print"},{"key":"46","doi-asserted-by":"crossref","unstructured":"B. Salvy and P. Zimmermann, GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable, 20 (1994), no. 2, 163\u2013167.","DOI":"10.1145\/178365.178368"},{"key":"47","series-title":"Encyclopedia of Mathematics and its Applications","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542916","volume-title":"Polynomials with special regard to reducibility","volume":"77","author":"Schinzel, A.","year":"2000","ISBN":"https:\/\/id.crossref.org\/isbn\/0521662257"},{"issue":"5","key":"48","first-page":"433","article-title":"Elementary first integrals and algebraic invariant curves of differential equations","volume":"11","author":"Schlomiuk, Dana","year":"1993","journal-title":"Exposition. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0723-0869","issn-type":"print"},{"issue":"1","key":"49","first-page":"3","article-title":"Integrability of plane quadratic vector fields","volume":"8","author":"Schlomiuk, Dana","year":"1990","journal-title":"Exposition. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0723-0869","issn-type":"print"},{"key":"50","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1137\/0711037","article-title":"On quadratic approximation","volume":"11","author":"Shafer, R. E.","year":"1974","journal-title":"SIAM J. Numer. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0036-1429","issn-type":"print"},{"issue":"602-633","key":"51","first-page":"163","article-title":"On quadratic approximation. II","author":"Shafer, Robert E.","year":"1978","journal-title":"Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat. Fiz.","ISSN":"https:\/\/id.crossref.org\/issn\/0522-8441","issn-type":"print"},{"issue":"2","key":"52","doi-asserted-by":"publisher","first-page":"673","DOI":"10.2307\/2154053","article-title":"Liouvillian first integrals of differential equations","volume":"333","author":"Singer, Michael F.","year":"1992","journal-title":"Trans. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9947","issn-type":"print"},{"key":"53","isbn-type":"print","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/1073884.1073931","article-title":"Solving second order linear differential equations with Klein\u2019s theorem","author":"van Hoeij, M.","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/1595930957"},{"issue":"2","key":"54","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/BF01244314","article-title":"Erratum: \u201cThe number of reducible hypersurfaces in a pencil\u201d","volume":"113","author":"Vistoli, Angelo","year":"1993","journal-title":"Invent. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0020-9910","issn-type":"print"},{"issue":"2","key":"55","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01232434","article-title":"The number of reducible hypersurfaces in a pencil","volume":"112","author":"Vistoli, Angelo","year":"1993","journal-title":"Invent. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0020-9910","issn-type":"print"},{"issue":"1","key":"56","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1006\/jdeq.2000.3801","article-title":"On the Poincar\u00e9 problem","volume":"166","author":"Walcher, Sebastian","year":"2000","journal-title":"J. Differential Equations","ISSN":"https:\/\/id.crossref.org\/issn\/0022-0396","issn-type":"print"},{"key":"57","unstructured":"J.-A. Weil, Constantes et polyn\u00f4mes de Darboux en alg\u00e8bre diff\u00e9rentielle : applications aux syst\u00e8mes diff\u00e9rentiels lin\u00e9aires, Ph.D. thesis, \u00c9cole polytechnique, 1995."}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/2016-85-299\/S0025-5718-2015-03007-5\/S0025-5718-2015-03007-5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/2016-85-299\/S0025-5718-2015-03007-5\/S0025-5718-2015-03007-5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T18:45:33Z","timestamp":1776797133000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2016-85-299\/S0025-5718-2015-03007-5\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,3]]},"references-count":57,"journal-issue":{"issue":"299","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["S0025-5718-2015-03007-5"],"URL":"https:\/\/doi.org\/10.1090\/mcom\/3007","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2015,8,3]]}}}