{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:40:59Z","timestamp":1762033259665},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,2,18]],"date-time":"2015-02-18T00:00:00Z","timestamp":1424217600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s10208-015-9249-9","type":"journal-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T16:53:11Z","timestamp":1424191991000},"page":"451-517","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Sparse Differential Resultant for Laurent Differential Polynomials"],"prefix":"10.1007","volume":"15","author":[{"given":"Wei","family":"Li","sequence":"first","affiliation":[]},{"given":"Chun-Ming","family":"Yuan","sequence":"additional","affiliation":[]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,2,18]]},"reference":[{"key":"9249_CR1","first-page":"750","volume":"22","author":"LM Berkovich","year":"1986","unstructured":"L. M. Berkovich and V. G. Tsirulik, Differential resultants and some of their applications, Differentsial\u2019nye Uravneniya 22 (1986), 750\u2013757.","journal-title":"Differentsial\u2019nye Uravneniya"},{"key":"9249_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF01075595","volume":"9","author":"DN Bernshtein","year":"1975","unstructured":"D. N. Bernshtein, The number of roots of a system of equations, Functional Anal. Appl. 9 (1975), 183\u2013185.","journal-title":"Functional Anal. Appl."},{"key":"9249_CR3","unstructured":"A. Buium and P. J. Cassidy, Differential algebraic geometry and differential algebraic groups, in Selected Works of Ellis Kolchin, with Commentary (H. Bass, A. Buium, and P. Cassidy, eds.), American Mathematical Society, Providence, RI, 1998, pp. 567\u2013636."},{"key":"9249_CR4","doi-asserted-by":"crossref","first-page":"577","DOI":"10.2307\/1971361","volume":"126","author":"WD Brownawell","year":"1987","unstructured":"W.\u00a0D. Brownawell, Bounds for the degrees in the nullstellensatz, Annals of Mathematics 126 (1987), 577-591.","journal-title":"Annals of Mathematics"},{"key":"9249_CR5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0747-7171(08)80012-0","volume":"9","author":"JF Canny","year":"1990","unstructured":"J. F. Canny, Generalized characteristic polynomials, Journal of Symbolic Computation 9 (1990), 241\u2013250.","journal-title":"Journal of Symbolic Computation"},{"key":"9249_CR6","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1007\/s002000050090","volume":"8","author":"G Carr\u00e0-Ferro","year":"1997","unstructured":"G. Carr\u00e0-Ferro, A resultant theory for the systems of two ordinary algebraic differential equations, Appl. Algebra Engrg. Comm. Comput. 8 (1997), 539\u2013560.","journal-title":"Appl. Algebra Engrg. Comm. Comput."},{"key":"9249_CR7","unstructured":"M. Chardin, Differential resultants and subresultants, in Lecture Notes in Computer Science: Fundamentals of Computation Theory, 529 (1991), Springer, Berlin, 180\u2013189."},{"key":"9249_CR8","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF00881834","volume":"10","author":"SC Chou","year":"1993","unstructured":"S. C. Chou and X. S. Gao, Automated reasoning in differential geometry and mechanics: part I. an improved version of Ritt-Wu\u2019s decomposition algorithm, Journal of Automated Reasoning 10 (1993), 161\u2013172.","journal-title":"Journal of Automated Reasoning"},{"key":"9249_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9939-1983-0677218-6","volume":"87","author":"RM Cohn","year":"1983","unstructured":"R. M. Cohn, Order and dimension, Proc. Amer. Math. Soc. 87 (1983), 1\u20136.","journal-title":"Proc. Amer. Math. Soc."},{"key":"9249_CR10","doi-asserted-by":"crossref","unstructured":"D. Cox, J. Little, and D. O\u2019Shea, Using Algeraic Geometry, Springer, New York, 1998.","DOI":"10.1007\/978-1-4757-6911-1"},{"key":"9249_CR11","doi-asserted-by":"crossref","first-page":"2595","DOI":"10.1090\/S0002-9947-02-02910-0","volume":"354","author":"C D\u2019Andrea","year":"2002","unstructured":"C. D\u2019Andrea, Macaulay style formulas for sparse resultants, Trans. of Amer. Math. Soc. 354 (2002), 2595\u20132629.","journal-title":"Trans. of Amer. Math. Soc."},{"key":"9249_CR12","unstructured":"C. D\u2019Andrea and M. Sombra, A Poisson formula for the sparse resultant, arXiv:1310.6617v2 , 2014."},{"key":"9249_CR13","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1090\/S0894-0347-03-00423-5","volume":"16","author":"D Eisenbud","year":"2004","unstructured":"D. Eisenbud, F. O. Schreyer, and J. Weyman, Resultants and Chow forms via exterior syzygies, Journal of Amer. Math. Soc. 16 (2004), 537\u2013579.","journal-title":"Journal of Amer. Math. Soc."},{"key":"9249_CR14","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1006\/jcom.1996.0010","volume":"12","author":"IZ Emiris","year":"1996","unstructured":"I. Z. Emiris, On the complexity of sparse elimination, J. Complexity 12 (1996), 134\u2013166.","journal-title":"J. Complexity"},{"issue":"2","key":"9249_CR15","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1006\/jsco.1995.1041","volume":"20","author":"IZ Emiris","year":"1995","unstructured":"I. Z. Emiris and J. F. Canny, Efficient incremental algorithms for the sparse resultant and the mixed volume, Journal of Symbolic Computation 20 (2), 117\u2013149, 1995.","journal-title":"Journal of Symbolic Computation"},{"key":"9249_CR16","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.jco.2004.03.003","volume":"21","author":"IZ Emiris","year":"2005","unstructured":"I. Z. Emiris and V. Y. Pan, Improved algorithms for computing determinants and resultants, Journal of Complexity 21 (2005), 43\u201371.","journal-title":"Journal of Complexity"},{"key":"9249_CR17","doi-asserted-by":"crossref","first-page":"4575","DOI":"10.1090\/S0002-9947-2013-05633-4","volume":"365","author":"XS Gao","year":"2013","unstructured":"X. S. Gao, W. Li, and C. M. Yuan. Intersection theory in differential algebraic geometry: generic intersections and the differential Chow Form, Trans. of Amer. Math. Soc. 365 (2013), 4575\u20134632.","journal-title":"Trans. of Amer. Math. Soc."},{"key":"9249_CR18","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0001-8708(90)90048-R","volume":"84","author":"IM Gelfand","year":"1990","unstructured":"I. M. Gelfand, M. M. Kapranov, and A. V. Zelevinsky, Generalized Euler integrals and A-hypergeometric functions, Advances in Mathematics 84 (1990), 255\u2013271.","journal-title":"Advances in Mathematics"},{"key":"9249_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-8176-4771-1_10","volume-title":"Discriminants","author":"IM Gelfand","year":"1994","unstructured":"I. M. Gelfand, M. Kapranov, and A. V. Zelevinsky, Discriminants, Resultants and Multidimensional Determinants, Boston, Birkh\u00e4user, 1994."},{"key":"9249_CR20","doi-asserted-by":"crossref","first-page":"3852","DOI":"10.1016\/j.jalgebra.2009.05.032","volume":"322","author":"O Golubitsky","year":"2009","unstructured":"O. Golubitsky, M. Kondratieva, A. Ovchinnikov, and A. Szanto, A bound for orders in differential nullstellensatz, Journal of Algebra 322 (2009), 3852-3877.","journal-title":"Journal of Algebra"},{"key":"9249_CR21","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0304-3975(83)90002-6","volume":"24","author":"J Heintz","year":"1983","unstructured":"J. Heintz, Definability and fast quantifier elimination in algebraically closed fields, Theoretical Computer Science 24 (1983), 239\u2013277.","journal-title":"Theoretical Computer Science"},{"key":"9249_CR22","unstructured":"W.\u00a0V.\u00a0D. Hodge and D. Pedoe, Methods of Algebraic Geometry, Volume I, Cambridge Univ. Press, Cambridge, 1968."},{"key":"9249_CR23","unstructured":"W.\u00a0V.\u00a0D. Hodge and D. Pedoe, Methods of Algebraic Geometry, Volume II, Cambridge Univ. Press, Cambridge, 1968."},{"key":"9249_CR24","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/s002000100082","volume":"12","author":"H Hong","year":"2001","unstructured":"H. Hong, Ore subresultant coefficients in solutions, Appl. Algebra Engrg. Comm. Comput. 12 (2001), 421\u2013428.","journal-title":"Appl. Algebra Engrg. Comm. Comput."},{"key":"9249_CR25","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1006\/jsco.1999.0344","volume":"29","author":"E Hubert","year":"2000","unstructured":"E. Hubert, Factorization free decomposition algorithms in differential algebra, Journal of Symbolic Computations, 29 (2000), 641\u2013662.","journal-title":"Journal of Symbolic Computations"},{"key":"9249_CR26","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s10208-002-0078-2","volume":"4","author":"G Jeronimo","year":"2004","unstructured":"G. Jeronimo, T. Krick, J. Sabia, and M. Sombra, The computational complexity of the Chow form, Foundations of Computational Mathematics 4 (2004), 41\u2013117.","journal-title":"Foundations of Computational Mathematics"},{"key":"9249_CR27","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0001-8708(91)90031-2","volume":"90","author":"JP Jouanolou","year":"1991","unstructured":"J. P. Jouanolou, Le formalisme du r\u00e8sultant, Advances in Mathematics 90 (1991), 117\u2013263.","journal-title":"Advances in Mathematics"},{"key":"9249_CR28","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1215\/S0012-7094-92-06707-X","volume":"67","author":"M Kapranov","year":"1992","unstructured":"M. Kapranov, B. Sturmfels, and A Zelevinsky, Chow polytopes and general resultants, Duke Math. J. 67 (1992), 189\u2013218.","journal-title":"Duke Math. J."},{"key":"9249_CR29","volume-title":"Differential Algebra and Algebraic Groups","author":"ER Kolchin","year":"1973","unstructured":"E. R. Kolchin, Differential Algebra and Algebraic Groups, Academic Press, New York, 1973."},{"key":"9249_CR30","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1090\/conm\/131.2\/1175849","volume":"131","author":"ER Kolchin","year":"1992","unstructured":"E. R. Kolchin, A problem on differential polynomials, Contemporary Mathematics 131 (1992), 449\u2013462.","journal-title":"Contemporary Mathematics"},{"key":"9249_CR31","doi-asserted-by":"crossref","unstructured":"E.\u00a0R. Kolchin, Differential equations in a projective space and linear dependence over a projective Variety, in Contributions to Analysis: A Colletion of Papers Dedicated to Lipman Bers, Academic Press, New York, 1974, pp. 195-214.","DOI":"10.1016\/B978-0-12-044850-0.50024-1"},{"key":"9249_CR32","first-page":"119","volume":"152","author":"BA Lando","year":"1970","unstructured":"B. A. Lando, Jacobi\u2019s bound for the order of systems of first order differential equations, Trans. Amer. Math. Soc. 152 (1970), 119\u2013135.","journal-title":"Trans. Amer. Math. Soc."},{"key":"9249_CR33","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1016\/j.jalgebra.2012.07.047","volume":"370","author":"W Li","year":"2012","unstructured":"W. Li and X. S. Gao, Differential Chow form for projective differential variety, Journal of Algebra 370 (2012), 344\u2013360.","journal-title":"Journal of Algebra"},{"key":"9249_CR34","doi-asserted-by":"crossref","unstructured":"W. Li, X.\u00a0S. Gao, and C.\u00a0M. Yuan, Sparse differential resultant, in Proc. ISSAC 2011, ACM Press, New York, 2011, 225-232.","DOI":"10.1145\/1993886.1993922"},{"key":"9249_CR35","unstructured":"Z. Li, A subresultant theory for linear differential, linear difference and Ore polynomials, with applications, PhD thesis, Johannes Kepler University, 1996."},{"key":"9249_CR36","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1515\/crll.1932.167.221","volume":"167","author":"O Ore","year":"1932","unstructured":"O. Ore, Formale theorie der linearen differentialgleichungen, Journal f\u00fcr die Reine und Angewandte Mathematik 167 (1932), 221\u2013234.","journal-title":"Journal f\u00fcr die Reine und Angewandte Mathematik"},{"key":"9249_CR37","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF02572411","volume":"214","author":"P Pedersen","year":"1993","unstructured":"P. Pedersen and B. Sturmfels, Product formulas for resultants and Chow forms, Mathematische Zeitschrift 214 (1993), 377\u2013396.","journal-title":"Mathematische Zeitschrift"},{"key":"9249_CR38","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/S0747-7171(10)80003-3","volume":"13","author":"J Renegar","year":"1992","unstructured":"J. Renegar, On the computational complexity and geometry of the first-order theory of the reals, part I, Journal of Symbolic Computation 13 (1992), 255\u2013299.","journal-title":"Journal of Symbolic Computation"},{"key":"9249_CR39","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1006\/jsco.1999.0317","volume":"28","author":"GM Reinhart","year":"1999","unstructured":"G. M. Reinhart, The Schmidt-Kolchin conjecture, Journal of Symbolic Computation 28 (1999), 611\u2013630.","journal-title":"Journal of Symbolic Computation"},{"key":"9249_CR40","doi-asserted-by":"crossref","first-page":"303","DOI":"10.2307\/1968572","volume":"36","author":"JF Ritt","year":"1935","unstructured":"J. F. Ritt, Jacobi\u2019s problem on the order of a system of differential equations, Annals of Mathematics 36 (1935), 303\u2013312.","journal-title":"Annals of Mathematics"},{"key":"9249_CR41","doi-asserted-by":"crossref","DOI":"10.1090\/coll\/014","volume-title":"Differential Equations from the Algebraic Standpoint","author":"JF Ritt","year":"1932","unstructured":"J. F. Ritt, Differential Equations from the Algebraic Standpoint, Amer. Math. Soc., New York, 1932."},{"key":"9249_CR42","doi-asserted-by":"crossref","DOI":"10.1090\/coll\/033","volume-title":"Differential Algebra","author":"JF Ritt","year":"1950","unstructured":"J. F. Ritt, Differential Algebra, Amer. Math. Soc., New York, 1950."},{"key":"9249_CR43","doi-asserted-by":"crossref","first-page":"4296","DOI":"10.1016\/j.laa.2013.01.016","volume":"438","author":"SL Rueda","year":"2013","unstructured":"S. L. Rueda, Linear sparse differential resultant formulas, Linear Algebra and Its Applications 438 (2013), 4296\u20134321.","journal-title":"Linear Algebra and Its Applications"},{"key":"9249_CR44","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1016\/j.jsc.2009.09.003","volume":"45","author":"SL Rueda","year":"2010","unstructured":"S. L. Rueda and J. R. Sendra, Linear complete differential resultants and the implicitization of linear DPPEs, Journal of Symbolic Computation 45 (2010), 324\u2013341.","journal-title":"Journal of Symbolic Computation"},{"key":"9249_CR45","unstructured":"B. Sturmfels, Sparse elimination theory, in Computational Algebraic Geometry and Commutative Algebra (D. Eisenbud and L. Robbiano, eds.), Cambridge University Press, Cambridge, 1993, pp. 264-298."},{"key":"9249_CR46","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1023\/A:1022497624378","volume":"3","author":"B Sturmfels","year":"1994","unstructured":"B. Sturmfels, On the Newton polytope of the resultant, Journal of Algebraic Combinatorics 3 (1994), 207\u2013236.","journal-title":"Journal of Algebraic Combinatorics"},{"key":"9249_CR47","first-page":"289","volume":"2","author":"WT Wu","year":"1989","unstructured":"W. T. Wu, On the foundation of algebraic differential polynomial geometry, Journal of Systems Science and Mathematics 2 (1989), 289\u2013312.","journal-title":"Journal of Systems Science and Mathematics"},{"key":"9249_CR48","doi-asserted-by":"crossref","first-page":"10679","DOI":"10.1016\/j.amc.2012.04.036","volume":"218","author":"L Yang","year":"2011","unstructured":"L. Yang, Z. Zeng, and W. Zhang, Differential elimination with Dixon resultants, Applied Mathematics and Computation 218 (2011), 10679\u201310690.","journal-title":"Applied Mathematics and Computation"},{"key":"9249_CR49","doi-asserted-by":"crossref","unstructured":"Z.\u00a0Y. Zhang, C.\u00a0M. Yuan, and X.\u00a0S. Gao, Matrix formula of differential resultant for first order generic ordinary differential polynomials, in Computer Mathematics, Springer, Berlin Heidelberg, 2014, pp. 479-503.","DOI":"10.1007\/978-3-662-43799-5_32"},{"key":"9249_CR50","volume-title":"Handbook of Differential Equations","author":"D Zwillinger","year":"1998","unstructured":"D. Zwillinger, Handbook of Differential Equations, Academic Press, San Diego, 1998."}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-015-9249-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-015-9249-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-015-9249-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,30]],"date-time":"2022-04-30T00:07:45Z","timestamp":1651277265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-015-9249-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,18]]},"references-count":50,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["9249"],"URL":"https:\/\/doi.org\/10.1007\/s10208-015-9249-9","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,2,18]]}}}