{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T07:00:11Z","timestamp":1774594811520,"version":"3.50.1"},"reference-count":98,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s11424-019-8367-x","type":"journal-article","created":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T05:53:25Z","timestamp":1550123605000},"page":"287-316","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Elimination Theory in Differential and Difference Algebra"],"prefix":"10.1007","volume":"32","author":[{"given":"Wei","family":"Li","sequence":"first","affiliation":[]},{"given":"Chun-Ming","family":"Yuan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,14]]},"reference":[{"key":"8367_CR1","volume-title":"Differential Algebra, American Mathematical Society Colloquium Publications","author":"J F Ritt","year":"1950","unstructured":"Ritt J F, Differential Algebra, American Mathematical Society Colloquium Publications, Vol. XXXIII, American Mathematical Society, New York, 1950."},{"key":"8367_CR2","volume-title":"Differential Algebra and Algebraic Groups","author":"E R Kolchin","year":"1973","unstructured":"Kolchin E R, Differential Algebra and Algebraic Groups, Academic Press, New York-London, 1973."},{"key":"8367_CR3","volume-title":"Difference Algebra","author":"R M Cohn","year":"1965","unstructured":"Cohn R M, Difference Algebra, Interscience Publishers John Wiley & Sons, New York-London-Sydeny, 1965."},{"issue":"2","key":"8367_CR4","first-page":"159","volume":"21","author":"W T Wu","year":"1978","unstructured":"Wu W T, On the decision problem and the mechanization of theorem-proving in elementary geometry, Sci. Sinica, 1978, 21(2): 159\u2013172.","journal-title":"Sci. Sinica"},{"key":"8367_CR5","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BFb0077689","volume-title":"Differential Geometry and Differential Equations (Shanghai, 1985)","author":"W T Wu","year":"1987","unstructured":"Wu W T, A constructive theory of differential algebraic geometry based on works of Ritt J F with particular applications to mechanical theorem-proving of differential geometries, Differential Geometry and Differential Equations (Shanghai, 1985), volume 1255 of Lecture Notes in Math., Springer, Berlin, 1987, 173\u2013189."},{"key":"8367_CR6","volume-title":"Basic Principles of Mechanical Theorem Proving in Elementary Geometries","author":"W T Wu","year":"1984","unstructured":"Wu W T, Basic Principles of Mechanical Theorem Proving in Elementary Geometries, Science Press, Beijing, 1984; English translation, Springer, Wien, 1994."},{"issue":"1","key":"8367_CR7","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1006\/jsco.1999.0269","volume":"28","author":"P Aubry","year":"1999","unstructured":"Aubry P, Lazard D, and Moreno Maza M, On the theories of triangular sets, J. Symbolic Comput., 1999, 28(1): 105\u2013124.","journal-title":"J. Symbolic Comput."},{"key":"8367_CR8","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1145\/220346.220367","volume-title":"Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ISSAC\u201995","author":"F Boulier","year":"1995","unstructured":"Boulier F, Lazard D, Ollivier F, et al., Representation for the radical of a finitely generated differential ideal, Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ISSAC\u201995, Montreal, Canada, July 10\u201312, 1995, 158\u2013166. ACM Press, New York, NY, 1995."},{"issue":"6","key":"8367_CR9","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1006\/jsco.1999.1562","volume":"31","author":"D Bouziane","year":"2001","unstructured":"Bouziane D, Kandri Rody A, and Ma\u00e2rouf H, Unmixed-dimensional decomposition of a finitely generated perfect differential ideal, J. Symbolic Comput., 2001, 31(6): 631\u2013649.","journal-title":"J. Symbolic Comput."},{"issue":"4\u20135","key":"8367_CR10","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1006\/jsco.1999.0344","volume":"29","author":"E Hubert","year":"2000","unstructured":"Hubert E, Factorization-free decomposition algorithms in differential algebra, J. Symbolic Comput., 2000, 29(4\u20135): 641\u2013662.","journal-title":"J. Symbolic Comput."},{"key":"8367_CR11","volume-title":"Mathematics Machenization","author":"W T Wu","year":"2001","unstructured":"Wu W T, Mathematics Machenization, Science Press\/Kluwer, Beijing, 2001."},{"key":"8367_CR12","volume-title":"Non-linear Algebraic Equations and Automated Theorem Proving","author":"L Yang","year":"1996","unstructured":"Yang L, Zhang J Z, and Hou X R, Non-linear Algebraic Equations and Automated Theorem Proving, Shanghai Science and Technological Education Pub., 1996 (in Chinese)."},{"issue":"1\u20134","key":"8367_CR13","doi-asserted-by":"publisher","first-page":"505","DOI":"10.2307\/2371147","volume":"55","author":"J F Ritt","year":"1933","unstructured":"Ritt J F and Doob J L, Systems of algebraic difference equations, Amer. J. Math., 1933, 55(1\u20134): 505\u2013514.","journal-title":"Amer. J. Math."},{"key":"8367_CR14","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1090\/S0002-9947-1939-0000605-4","volume":"46","author":"J F Ritt","year":"1939","unstructured":"Ritt J F and Raudenbush H W, Ideal theory and algebraic difference equations, Trans. Amer. Math. Soc., 1939, 46: 445\u2013452.","journal-title":"Trans. Amer. Math. Soc."},{"issue":"3","key":"8367_CR15","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1016\/j.jsc.2007.05.005","volume":"44","author":"X S Gao","year":"2009","unstructured":"Gao X S, Luo Y, and Yuan C M, A characteristic set method for ordinary difference polynomial systems, J. Symbolic Comput., 2009, 44(3): 242\u2013260.","journal-title":"J. Symbolic Comput."},{"key":"8367_CR16","first-page":"100","volume-title":"Resolvent systems of difference polynomial ideals","author":"X S Gao","year":"2006","unstructured":"Gao X S and Yuan C M, Resolvent systems of difference polynomial ideals, ISSAC 2006, ACM, New York, 2006, 100\u2013108."},{"issue":"4","key":"8367_CR17","first-page":"1063","volume":"29","author":"X S Gao","year":"2009","unstructured":"Gao X S, Yuan C M, and Zhang G L, Ritt-Wu\u2019s characteristic set method for ordinary difference polynomial systems with arbitrary ordering, Acta Math. Sci. Ser. B (Engl. Ed.), 2009, 29(4): 1063\u20131080.","journal-title":"Acta Math. Sci. Ser. B (Engl. Ed.)"},{"key":"8367_CR18","first-page":"307","volume-title":"Computer Mathematics 8th Asian Symposium, ASCM 2007","author":"G L Zhang","year":"2008","unstructured":"Zhang G L and Gao X S. Properties of ascending chains for partial difference polynomial systems, Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15\u201317, 2007. Revised and invited papers, 307\u2013321. Springer, Berlin, 2008."},{"key":"8367_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1257-6","volume-title":"Differential and Difference Dimension Polynomials","author":"M V Kondratieva","year":"1999","unstructured":"Kondratieva M V, Levin A B, Mikhalev A V, et al., Differential and Difference Dimension Polynomials, volume 461 of Mathematics and Its Applications, Kluwer Academic Publishers, Dordrecht, 1999."},{"issue":"9","key":"8367_CR20","doi-asserted-by":"publisher","first-page":"1137","DOI":"10.1016\/j.jsc.2008.02.010","volume":"44","author":"X S Gao","year":"2009","unstructured":"Gao X S, Van der Hoeven J, Yuan C M, et al., Characteristic set method for differential-difference polynomial systems, J. Symbolic Comput., 2009, 44(9): 1137\u20131163.","journal-title":"J. Symbolic Comput."},{"key":"8367_CR21","volume-title":"Mathematics: Theory & Applications, Birkh\u00e4user Boston","author":"I M Gel\u2019fand","year":"1994","unstructured":"Gel\u2019fand I M, Kapranov M M, and Zelevinsky A V, Discriminants, Resultants, and Multidimensional Determinants, Mathematics: Theory & Applications, Birkh\u00e4user Boston, Inc., Boston, MA, 1994."},{"key":"8367_CR22","volume-title":"Methods of Algebraic Geometry, Vol. II, Cambridge Mathematical Library","author":"W V D Hodge","year":"1994","unstructured":"Hodge W V D and Pedoe D, Methods of Algebraic Geometry, Vol. II, Cambridge Mathematical Library, Cambridge University Press, Cambridge, 1994."},{"issue":"3","key":"8367_CR23","doi-asserted-by":"publisher","first-page":"577","DOI":"10.2307\/1971361","volume":"126","author":"W D Brownawell","year":"1987","unstructured":"Brownawell W D, Bounds for the degrees in the nullstellensatz, Ann. Math., 1987, 126(3): 577\u2013591.","journal-title":"Ann. Math."},{"key":"8367_CR24","first-page":"264","volume-title":"Sparse elimination theory, Computational Algebraic Geometry and Commutative Algebra (Cortona, 1991)","author":"B Sturmfels","year":"1993","unstructured":"Sturmfels B, Sparse elimination theory, Computational Algebraic Geometry and Commutative Algebra (Cortona, 1991), Sympos. Math., XXXIV, Cambridge University Press, Cambridge, 1993, 264\u2013298."},{"key":"8367_CR25","first-page":"253","volume":"41","author":"Y V Nesterenko","year":"1977","unstructured":"Nesterenko Y V, Estimates for the orders of zeros of functions of a certain class and applications in the theory of transcendental numbers, Izv. Akad. Nauk SSSR Ser. Mat., 1977, 41: 253\u2013284.","journal-title":"Izv. Akad. Nauk SSSR Ser. Mat."},{"key":"8367_CR26","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF02699191","volume":"64","author":"P Philippon","year":"1986","unstructured":"Philippon P, Crit\u00e8res pour l\u2019indpendance algbrique, Inst. Hautes \u00c8tudes Sci. Publ. Math., 1986, 64: 5\u201352.","journal-title":"Inst. Hautes \u00c8tudes Sci. Publ. Math."},{"issue":"1","key":"8367_CR27","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s10208-002-0078-2","volume":"4","author":"G Jeronimo","year":"2004","unstructured":"Jeronimo G, Krick T, Sabia J, et al., The computational complexity of the Chow form, Found. Comput. Math., 2004, 4(1): 41\u2013117.","journal-title":"Found. Comput. Math."},{"issue":"9","key":"8367_CR28","doi-asserted-by":"publisher","first-page":"4575","DOI":"10.1090\/S0002-9947-2013-05633-4","volume":"365","author":"X S Gao","year":"2013","unstructured":"Gao X S, Li W, and Yuan C M, Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form, Trans. Amer. Math. Soc., 2013, 365(9): 4575\u20134632.","journal-title":"Trans. Amer. Math. Soc."},{"key":"8367_CR29","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1016\/j.jalgebra.2012.07.047","volume":"370","author":"W Li","year":"2012","unstructured":"Li W and Gao X S, Chow form for projective differential variety, J. Algebra, 2012, 370: 344\u2013360.","journal-title":"J. Algebra"},{"issue":"1","key":"8367_CR30","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1112\/jlms.12002","volume":"95","author":"J Freitag","year":"2017","unstructured":"Freitag J, Li W, and Scanlon T, Differential chow varieties exist, J. Lond. Math. Soc., 2017, 95(1): 128\u2013156.","journal-title":"J. Lond. Math. Soc."},{"key":"8367_CR31","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.jalgebra.2014.12.037","volume":"428","author":"W Li","year":"2015","unstructured":"Li W and Li Y H, Difference Chow form, J. Algebra, 2015, 428: 67\u201390.","journal-title":"J. Algebra"},{"key":"8367_CR32","volume-title":"Partial differential chow forms and a type of partial differential chow varieties","author":"W Li","year":"2017","unstructured":"Li W, Partial differential chow forms and a type of partial differential chow varieties, ArXiv: 1709.02358v1, 2017."},{"key":"8367_CR33","volume-title":"The Algebraic Theory of Modular Systems","author":"F S Macaulay","year":"1994","unstructured":"Macaulay F S, The Algebraic Theory of Modular Systems, Cambridge University Press, Cambridge, 1994."},{"issue":"3","key":"8367_CR34","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1090\/S0894-0347-03-00423-5","volume":"16","author":"D Eisenbud","year":"2003","unstructured":"Eisenbud D, Schreyer F, and Weyman J, Resultants and Chow forms via exterior syzygies, J. Amer. Math. Soc., 2003, 16(3): 537\u2013579.","journal-title":"J. Amer. Math. Soc."},{"issue":"2","key":"8367_CR35","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0001-8708(91)90031-2","volume":"90","author":"J P Jouanolou","year":"1991","unstructured":"Jouanolou J P, Le formalisme du r\u00e9sultant, Adv. Math., 1991, 90(2): 117\u2013263.","journal-title":"Adv. Math."},{"issue":"3","key":"8367_CR36","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0747-7171(08)80012-0","volume":"9","author":"J Canny","year":"1990","unstructured":"Canny J, Generalised characteristic polynomials, J. Symb. Comput., 1990, 9(3): 241\u2013250.","journal-title":"J. Symb. Comput."},{"issue":"2","key":"8367_CR37","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1006\/jsco.1995.1041","volume":"20","author":"I Z Emiris","year":"1995","unstructured":"Emiris I Z and Canny J F, Efficient incremental algorithms for the sparse resultant and the mixed volume, J. Symb. Comput., 1995, 20(2): 117\u2013149.","journal-title":"J. Symb. Comput."},{"issue":"1","key":"8367_CR38","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.jco.2004.03.003","volume":"21","author":"I Z Emiris","year":"2005","unstructured":"Emiris I Z and Pan V Y, Improved algorithms for computing determinants and resultants, J. Complexity, 2005, 21(1): 43\u201371.","journal-title":"J. Complexity"},{"issue":"3","key":"8367_CR39","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BF01075595","volume":"9","author":"D N Bernstein","year":"1975","unstructured":"Bernstein D N, The number of roots of a system of equations, Functional Anal. Appl., 1975, 9(3): 183\u2013185.","journal-title":"Functional Anal. Appl."},{"issue":"2","key":"8367_CR40","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/A:1022497624378","volume":"3","author":"B Sturmfels","year":"1994","unstructured":"Sturmfels B, On the Newton polytope of the resultant, J. Algebraic Combin., 1994, 3(2): 207\u2013236.","journal-title":"J. Algebraic Combin."},{"issue":"2","key":"8367_CR41","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1006\/jcom.1996.0010","volume":"12","author":"I Z Emiris","year":"1996","unstructured":"Emiris I Z, On the complexity of sparse elimination, J. Complexity, 1996, 12(2): 134\u2013166.","journal-title":"J. Complexity"},{"issue":"7","key":"8367_CR42","doi-asserted-by":"publisher","first-page":"2595","DOI":"10.1090\/S0002-9947-02-02910-0","volume":"354","author":"C D\u2019Andrea","year":"2002","unstructured":"D\u2019Andrea C, Macaulay style formulas for sparse resultants, Trans. Amer. Math. Soc., 2002, 354(7): 2595\u20132629.","journal-title":"Trans. Amer. Math. Soc."},{"key":"8367_CR43","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1515\/crll.1932.168.233","volume":"168","author":"O Ore","year":"1932","unstructured":"Ore O, Formale theorie der linearen differentialgleichungen (Zweiter Teil), J. Reine Angew. Math., 1932, 168: 233\u2013252.","journal-title":"J. Reine Angew. Math."},{"key":"8367_CR44","first-page":"530","volume":"22","author":"L M Berkovich","year":"1986","unstructured":"Berkovich L M and Tsirulik V G, Differential resultants and some of their applications, Differ. Equations, 1986, 22: 530\u2013536.","journal-title":"Differ. Equations"},{"issue":"3","key":"8367_CR45","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0377-0427(90)90042-X","volume":"32","author":"D Zeilberger","year":"1990","unstructured":"Zeilberger D, A holonomic systems approach to special functions identities, J. Comput. Appl. Math., 1990, 32(3): 321\u2013368.","journal-title":"J. Comput. Appl. Math."},{"issue":"2","key":"8367_CR46","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1006\/jsco.1998.0207","volume":"26","author":"F Chyzak","year":"1998","unstructured":"Chyzak F and Salvy B, Non-commutative elimination in Ore algebras proves multivariate identities, J. Symbolic Comput., 1998, 26(2): 187\u2013227.","journal-title":"J. Symbolic Comput."},{"issue":"1","key":"8367_CR47","first-page":"47","volume":"1","author":"G Carr\u00e0 Ferro","year":"1994","unstructured":"Carr\u00e0 Ferro G, A resultant theory for systems of linear partial differential equations, Lie Groups Appl., 1994, 1(1): 47\u201355.","journal-title":"Lie Groups Appl."},{"key":"8367_CR48","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/3-540-54458-5_62","volume-title":"Differential resultants and subresultants, Fundamentals of computation theory (Gosen, 1991)","author":"M Chardin","year":"1991","unstructured":"Chardin M, Differential resultants and subresultants, Fundamentals of computation theory (Gosen, 1991), volume 529 of Lecture Notes in Comput. Sci., Springer, Berlin, 1991, 180\u2013189."},{"key":"8367_CR49","volume-title":"A subresultant theory for linear differential, linear difference and Ore polynomials, with applications","author":"Z M Li","year":"1996","unstructured":"Li Z M, A subresultant theory for linear differential, linear difference and Ore polynomials, with applications, PhD thesis, Johannes Kepler University, 1996."},{"issue":"5","key":"8367_CR50","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s002000100082","volume":"12","author":"H Hong","year":"2001","unstructured":"Hong H, Ore subresultant coefficients in solutions, Appl. Algebra Engrg. Comm. Comput., 2001, 12(5): 421\u2013428.","journal-title":"Appl. Algebra Engrg. Comm. Comput."},{"key":"8367_CR51","doi-asserted-by":"publisher","DOI":"10.1090\/coll\/014","volume-title":"Differential Equations from the Algebraic Standpoint","author":"J F Ritt","year":"1932","unstructured":"Ritt J F, Differential Equations from the Algebraic Standpoint, American Mathematical Society, New York, 1932."},{"key":"8367_CR52","volume-title":"Handbook of Differential Equations","author":"D Zwillinger","year":"1998","unstructured":"Zwillinger D, Handbook of Differential Equations, Academic Press, San Diego, CA, 3rd Ed., 1998."},{"issue":"3","key":"8367_CR53","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1016\/j.jsc.2009.09.003","volume":"45","author":"S L Rueda","year":"2010","unstructured":"Rueda S L and Sendra J R, Linear complete differential resultants and the implicitization of linear DPPEs, J. Symbolic Comput., 2010, 45(3): 324\u2013341.","journal-title":"J. Symbolic Comput."},{"issue":"6","key":"8367_CR54","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/s002000050090","volume":"8","author":"G Carr\u00e0-Ferro","year":"1997","unstructured":"Carr\u00e0-Ferro G, A resultant theory for the systems of two ordinary algebraic differential equations, Appl. Algebra Engrg. Comm. Comput., 1997, 8(6): 539\u2013560.","journal-title":"Appl. Algebra Engrg. Comm. Comput."},{"issue":"2","key":"8367_CR55","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10208-015-9249-9","volume":"15","author":"W Li","year":"2015","unstructured":"Li W, Yuan C M, and Gao X S, Sparse differential resultant for Laurent differential polynomials, Found. Comput. Math., 2015, 15(2): 451\u2013517.","journal-title":"Found. Comput. Math."},{"key":"8367_CR56","first-page":"479","volume-title":"Computer Mathematics 9th Asian Symposium","author":"Z Y Zhang","year":"2014","unstructured":"Zhang Z Y, Yuan C M, and Gao X S, Matrix formulae of differential resultant for first order generic ordinary differential polynomials, Computer Mathematics 9th Asian Symposium, ASCM 2009, Fukuoka, Japan, December 14\u201317, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26\u201328, 2012, Contributed papers and invited talks, Springer, Berlin, 2014, 479\u2013503."},{"issue":"11","key":"8367_CR57","doi-asserted-by":"publisher","first-page":"4296","DOI":"10.1016\/j.laa.2013.01.016","volume":"438","author":"S L Rueda","year":"2013","unstructured":"Rueda S L, Linear sparse differential resultant formulas, Linear Algebra Appl., 2013, 438(11): 4296\u20134321.","journal-title":"Linear Algebra Appl."},{"key":"8367_CR58","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1145\/2465506.2465509","volume-title":"ISSAC 2013 \u2014 Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation","author":"W Li","year":"2013","unstructured":"Li W, Yuan C M, and Gao X S. Sparse difference resultant, ISSAC 2013 \u2014 Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2013, 275\u2013282."},{"issue":"1","key":"8367_CR59","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.jsc.2014.09.016","volume":"68","author":"W Li","year":"2015","unstructured":"Li W, Yuan C M, and Gao X S, Sparse difference resultant, J. Symbolic Comput., 2015, 68(1): 169\u2013203.","journal-title":"J. Symbolic Comput."},{"key":"8367_CR60","volume-title":"New bounds and efficient algorithm for sparse difference resultant","author":"C M Yuan","year":"2018","unstructured":"Yuan C M and Zhang Z Y, New bounds and efficient algorithm for sparse difference resultant, arXiv: 1810.00057, 2018."},{"issue":"11","key":"8367_CR61","doi-asserted-by":"publisher","first-page":"3852","DOI":"10.1016\/j.jalgebra.2009.05.032","volume":"322","author":"O Golubitsky","year":"2009","unstructured":"Golubitsky O, Kondratieva M, Ovchinnikov A, et al., A bound for orders in differential Nullstellensatz, J. Algebra, 2009, 322(11): 3852\u20133877.","journal-title":"J. Algebra"},{"issue":"5","key":"8367_CR62","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1016\/j.jco.2014.01.001","volume":"30","author":"L D\u2019Alfonso","year":"2014","unstructured":"D\u2019Alfonso L, Jeronimo G, and Solern\u00f3 P, Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients, J. Complexity, 2014, 30(5): 588\u2013603.","journal-title":"J. Complexity"},{"key":"8367_CR63","doi-asserted-by":"publisher","first-page":"1138","DOI":"10.1016\/j.aim.2015.12.021","volume":"290","author":"R Gustavson","year":"2016","unstructured":"Gustavson R, Kondratieva M, and Ovchinnikov A, New effective differential Nullstellensatz, Adv. Math., 2016, 290: 1138\u20131158.","journal-title":"Adv. Math."},{"key":"8367_CR64","volume-title":"Effective difference elimination and Nullstellensatz","author":"A Ovchinnikov","year":"2017","unstructured":"Ovchinnikov A, Pogudin G, and Scanlon T, Effective difference elimination and Nullstellensatz, ArXiv: 1712.01412V2, 2017."},{"key":"8367_CR65","volume-title":"Bounds for elimination of unknowns in systems of differential-algebraic equations","author":"A Ovchinnikov","year":"2018","unstructured":"Ovchinnikov A, Pogudin G, and Vo T N, Bounds for elimination of unknowns in systems of differential-algebraic equations, ArXiv: 1610.0422v6, 2018."},{"key":"8367_CR66","volume-title":"Technical Report ICTP\/91\/6, International Center For Theoretical Physics","author":"L Yang","year":"1991","unstructured":"Yang L, Zeng Z B, and Zhang W N, Search dependency between algebraic equations: An algorithm applied to automated reasoning, Technical Report ICTP\/91\/6, International Center For Theoretical Physics, International Atomic Energy Agency, Miramare, Trieste, 1991."},{"issue":"2","key":"8367_CR67","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1006\/jsco.1993.1011","volume":"15","author":"M Kalkbrener","year":"1993","unstructured":"Kalkbrener M, A generalized Euclidean algorithm for computing triangular representations of algebraic varieties, J. Symbolic Comput., 1993, 15(2): 143\u2013167.","journal-title":"J. Symbolic Comput."},{"key":"8367_CR68","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-1-4612-0441-1_8","volume-title":"Effective Methods in Algebraic Geometry (Castiglioncello, 1990)","author":"G Gallo","year":"1991","unstructured":"Gallo G and Mishra B, Efficient algorithms and bounds for Wu-Ritt characteristic sets, Effective Methods in Algebraic Geometry (Castiglioncello, 1990), volume 94 of Progr. Math., Birkh\u00e4user Boston, Boston, MA, 1991, 119\u2013142."},{"issue":"2","key":"8367_CR69","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1006\/jsco.1993.1035","volume":"16","author":"D M Wang","year":"1993","unstructured":"Wang D M, An elimination method for polynomial systems, J. Symbolic Comput., 1993, 16(2): 83\u2013114.","journal-title":"J. Symbolic Comput."},{"issue":"3","key":"8367_CR70","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1006\/jsco.1997.0177","volume":"25","author":"D M Wang","year":"1998","unstructured":"Wang D M, Decomposing polynomial systems into simple systems, J. Symbolic Comput., 1998, 25(3): 295\u2013314.","journal-title":"J. Symbolic Comput."},{"issue":"2","key":"8367_CR71","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/jsco.1999.0355","volume":"30","author":"D M Wang","year":"2000","unstructured":"Wang D M, Computing triangular systems and regular systems, J. Symbolic Comput., 2000, 30(2): 221\u2013236.","journal-title":"J. Symbolic Comput."},{"key":"8367_CR72","first-page":"1","volume-title":"Notes on triangular sets and triangulation-decomposition algorithms. I. Polynomial systems, Symbolic and Numerical Scientific Computation (Hagenberg, 2001)","author":"E Hubert","year":"2003","unstructured":"Hubert E, Notes on triangular sets and triangulation-decomposition algorithms. I. Polynomial systems, Symbolic and Numerical Scientific Computation (Hagenberg, 2001), volume 2630 of Lecture Notes in Comput. Sci., Springer, Berlin, 2003, 1\u201339."},{"key":"8367_CR73","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/11856290_9","volume":"4120","author":"Z M Li","year":"2006","unstructured":"Li Z M and Wang D M, Some properties of triangular sets and improvement upon algorithm charser, Eds. by Calmet J, Ida T, Wang D, Artificial Intelligence and Symbolic Computation, Lecture Notes of Comput. Sci., 2006, 4120: 82\u201393.","journal-title":"Artificial Intelligence and Symbolic Computation, Lecture Notes of Comput. Sci."},{"key":"8367_CR74","volume-title":"Mechanical Geometry Theorem Proving","author":"S C Chou","year":"1988","unstructured":"Chou S C, Mechanical Geometry Theorem Proving, volume 41 of Mathematics and Its Applications, D. Reidel Publishing Co., Dordrecht, 1988."},{"key":"8367_CR75","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/3-540-52885-7_89","volume-title":"10th International Conference on Automated Deduction (Kaiserslautern, 1990)","author":"S C Chou","year":"1990","unstructured":"Chou S C and Gao X S, Ritt-Wu\u2019s decomposition algorithm and geometry theorem proving, 10th International Conference on Automated Deduction (Kaiserslautern, 1990), volume 449 of Lecture Notes in Comput. Sci., 207\u2013220, Springer, Berlin, 1990."},{"key":"8367_CR76","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jsc.2011.12.014","volume":"49","author":"C B Chen","year":"2013","unstructured":"Chen C B, Davenport J H, May J P, et al., Triangular decomposition of semi-algebraic systems, J. Symb. Comput., 2013, 49: 3\u201326.","journal-title":"J. Symb. Comput."},{"key":"8367_CR77","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/1576702.1576718","volume-title":"ISSAC 2009 \u2014 Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation","author":"C B Chen","year":"2009","unstructured":"Chen C B, Moreno Maza M, Xia B C, et al., Computing cylindrical algebraic decomposition via triangular decomposition, ISSAC 2009 \u2014 Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2009, 95\u2013102."},{"key":"8367_CR78","volume-title":"Elimination Methods, Texts and Monographs in Symbolic Computation","author":"D M Wang","year":"2001","unstructured":"Wang D M, Elimination Methods, Texts and Monographs in Symbolic Computation, Springer-Verlag, Vienna, 2001."},{"key":"8367_CR79","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1145\/3208976.3208997","volume-title":"ISSAC\u201918 \u2014 Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation","author":"C Q Mou","year":"2018","unstructured":"Mou C Q and Bai Y, On the chordality of polynomial sets in triangular decomposition in topdown style, ISSAC\u201918 \u2014 Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2018, 287\u2013294."},{"key":"8367_CR80","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/1993886.1993904","volume-title":"ISSAC 2011 \u2014 Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation","author":"C B Chen","year":"2011","unstructured":"Chen C B and Moreno Maza M, Algorithms for computing triangular decompositions of polynomial systems, ISSAC 2011 \u2014 Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2011, 83\u201390."},{"issue":"4","key":"8367_CR81","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s11786-016-0279-8","volume":"10","author":"D M Wang","year":"2016","unstructured":"Wang D M, On the connection between ritt characteristic sets and buchberger-gr\u00f6bner bases, Math. Comput. Sci., 2016, 10(4): 479\u2013492.","journal-title":"Math. Comput. Sci."},{"issue":"2","key":"8367_CR82","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s11424-008-9103-0","volume":"21","author":"F J Chai","year":"2008","unstructured":"Chai F J, Gao X S, and Yuan C M, A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers, J. Syst. Sci. Complex., 2008, 21(2): 191\u2013208.","journal-title":"J. Syst. Sci. Complex."},{"issue":"11","key":"8367_CR83","doi-asserted-by":"publisher","first-page":"2983","DOI":"10.1016\/j.camwa.2010.09.059","volume":"60","author":"X L Li","year":"2010","unstructured":"Li X L, Mou C Q, and Wang D M, Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case, Comput. Math. Appl., 2010, 60(11): 2983\u20132997.","journal-title":"Comput. Math. Appl."},{"key":"8367_CR84","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.tcs.2012.11.009","volume":"468","author":"C Q Mou","year":"2013","unstructured":"Mou C Q, Wang D M, and Li X L, Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case, Theoret. Comput. Sci., 2013, 468: 102\u2013113.","journal-title":"Theoret. Comput. Sci."},{"issue":"6","key":"8367_CR85","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1016\/j.jsc.2011.12.025","volume":"47","author":"X S Gao","year":"2012","unstructured":"Gao X S and Huang Z Y, Characteristic set algorithms for equation solving in finite fields, J. Symbolic Comput., 2012, 47(6): 655\u2013679.","journal-title":"J. Symbolic Comput."},{"key":"8367_CR86","first-page":"43","volume":"12","author":"Z M Li","year":"1999","unstructured":"Li Z M and Wang D M, Coherent, regular and simple systems in zero decompositions of partial differential systems, Sys. Sci. Math. Sci., 1999, 12: 43\u201360.","journal-title":"Sys. Sci. Math. Sci."},{"key":"8367_CR87","first-page":"40","volume-title":"Notes on triangular sets and triangulation-decomposition algorithms. II. Differential systems, Symbolic and Numerical Scientific Computation (Hagenberg, 2001)","author":"E Hubert","year":"2003","unstructured":"Hubert E, Notes on triangular sets and triangulation-decomposition algorithms. II. Differential systems, Symbolic and Numerical Scientific Computation (Hagenberg, 2001), volume 2630 of Lecture Notes in Comput. Sci., Springer, Berlin, 2003, 40\u201387."},{"issue":"1","key":"8367_CR88","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.jsc.2009.09.004","volume":"45","author":"F Boulier","year":"2010","unstructured":"Boulier F, Lemaire F, and Moreno Maza M, Computing differential characteristic sets by change of ordering, J. Symbolic Comput., 2010, 45(1): 124\u2013149.","journal-title":"J. Symbolic Comput."},{"key":"8367_CR89","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1090\/S0002-9947-1959-0107642-2","volume":"90","author":"A Rosenfeld","year":"1959","unstructured":"Rosenfeld A, Specializations in differential algebra, Trans. Amer. Math. Soc., 1959, 90: 394\u2013407.","journal-title":"Trans. Amer. Math. Soc."},{"issue":"3","key":"8367_CR90","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1016\/j.jsc.2016.07.029","volume":"80","author":"X S Gao","year":"2017","unstructured":"Gao X S, Huang Z, and Yuan C M, Binomial difference ideals, J. Symbolic Comput., 2017, 80(3): 665\u2013706.","journal-title":"J. Symbolic Comput."},{"key":"8367_CR91","volume-title":"Algorithmic Algebra","author":"B Mishra","year":"2001","unstructured":"Mishra B, Algorithmic Algebra, Springer, Boston, MA, 2001."},{"key":"8367_CR92","first-page":"373","volume":"158","author":"I Bentsen","year":"1971","unstructured":"Bentsen I, The existence of solutions of abstract partial difference polynomials, Trans. Amer. Math. Soc., 1971, 158: 373\u2013397.","journal-title":"Trans. Amer. Math. Soc."},{"key":"8367_CR93","volume-title":"Bertini theorems for differential algebraic geometry","author":"J Freitag","year":"2015","unstructured":"Freitag J, Bertini theorems for differential algebraic geometry, ArXiv: 1211.0972v3, 2015."},{"key":"8367_CR94","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.aam.2015.09.004","volume":"72","author":"W Li","year":"2016","unstructured":"Li W and Li Y H, Computation of differential Chow forms for ordinary prime differential ideals, Adv. in Appl. Math., 2016, 72: 77\u2013112.","journal-title":"Adv. in Appl. Math."},{"key":"8367_CR95","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-63163-1_5","volume-title":"Applied algebra, algebraic algorithms and error-correcting codes (Toulouse, 1997)","author":"G Carr\u00e0 Ferro","year":"1997","unstructured":"Carr\u00e0 Ferro G, A resultant theory for ordinary algebraic differential equations, Applied algebra, algebraic algorithms and error-correcting codes (Toulouse, 1997), volume 1255 of Lecture Notes in Comput. Sci., Springer, Berlin, 1997, 55\u201365."},{"issue":"21","key":"8367_CR96","doi-asserted-by":"crossref","first-page":"10679","DOI":"10.1016\/j.amc.2012.04.036","volume":"218","author":"L Yang","year":"2012","unstructured":"Yang L, Zeng Z B, and Zhang W N, Differential elimination with Dixon resultants, Appl. Math. Comput., 2012, 218(21): 10679\u201310690.","journal-title":"Appl. Math. Comput."},{"issue":"1","key":"8367_CR97","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s11424-017-6174-9","volume":"30","author":"X S Gao","year":"2017","unstructured":"Gao X S, Huang Z, Wang J, et al., Toric difference variety, Journal of Systems Science & Complexity, 2017, 30(1): 173\u2013195.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"4","key":"8367_CR98","first-page":"109","volume":"14","author":"O D Golubitsky","year":"2008","unstructured":"Golubitsky O D, Kondrat\u2019eva M V, and Ovchinnikov A I, On the generalized Ritt problem as a computational problem, Fundam. Prikl. Mat., 2008, 14(4): 109\u2013120.","journal-title":"Fundam. Prikl. Mat."}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-019-8367-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8367-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8367-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:39:48Z","timestamp":1694623188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-019-8367-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":98,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["8367"],"URL":"https:\/\/doi.org\/10.1007\/s11424-019-8367-x","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2]]},"assertion":[{"value":"15 October 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 December 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 February 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}