{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T17:13:50Z","timestamp":1778087630609,"version":"3.51.4"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,12,29]],"date-time":"2016-12-29T00:00:00Z","timestamp":1482969600000},"content-version":"unspecified","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":[[2017,4]]},"DOI":"10.1007\/s11424-016-5040-5","type":"journal-article","created":{"date-parts":[[2016,12,28]],"date-time":"2016-12-28T21:57:16Z","timestamp":1482962236000},"page":"464-483","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity"],"prefix":"10.1007","volume":"30","author":[{"given":"Wei","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,29]]},"reference":[{"key":"5040_CR1","doi-asserted-by":"crossref","DOI":"10.1090\/coll\/033","volume-title":"Differential Algebra","author":"J F Ritt","year":"1950","unstructured":"Ritt J F, Differential Algebra, American Mathematical Society, Colloquium Publications, Vol. 33, 1950."},{"key":"5040_CR2","volume-title":"Basic Principle of Mechanical Theorem Proving in Geometries","author":"W T Wu","year":"1984","unstructured":"Wu W T, Basic Principle of Mechanical Theorem Proving in Geometries, Science Press, Beijing, 1984. English translation, Springer, Wien, 1994."},{"key":"5040_CR3","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1006\/jsco.1999.0269","volume":"28","author":"P Aubry","year":"1999","unstructured":"Aubry P, Lazard D, and Maza M M, On the theories of triangular sets, J. Symb. Comput., 1999, 28: 105\u2013124.","journal-title":"J. Symb. Comput."},{"key":"5040_CR4","volume-title":"Computation with Polynomial Systems","author":"A Szanto","year":"1999","unstructured":"Szanto A, Computation with Polynomial Systems, Doctoral Dissertation, Cornell University, 1999."},{"key":"5040_CR5","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1006\/jsco.1993.1035","volume":"16","author":"D Wang","year":"1993","unstructured":"Wang D, An elimination method for polynomial systems, J. Symb. Comput., 1993, 16: 83\u2013114.","journal-title":"J. Symb. Comput."},{"key":"5040_CR6","first-page":"158","volume-title":"Proc. of ISSAC\u201995, ACM Press","author":"F Boulier","year":"1995","unstructured":"Boulier F, Lazard D, Ollivier F, et al., Representation for the radical of a finitely generated differential ideal, Proc. of ISSAC\u201995, ACM Press, 1995, 158\u2013166."},{"key":"5040_CR7","doi-asserted-by":"crossref","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. Symb. Comput., 2001, 31: 631\u2013649.","journal-title":"J. Symb. Comput."},{"key":"5040_CR8","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF00881834","volume":"10","author":"S C Chou","year":"1993","unstructured":"Chou S C and Gao X S, Automated reasoning in differential geometry and mechanics using the characteristic set method, Part I. An improved version of Ritt-Wu\u2019s decomposition algorithm, Journal of Automated Reasoning, 1993, 10: 161\u2013172.","journal-title":"Journal of Automated Reasoning"},{"issue":"4\u20135","key":"5040_CR9","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1006\/jsco.1999.0344","volume":"29","author":"E Hubert","year":"2000","unstructured":"Hubert E, Factorization-free decomposition algorithms in differetntial algebra, J. Symb. Comput., 2000, 29(4\u20135): 641\u2013662.","journal-title":"J. Symb. Comput."},{"key":"5040_CR10","first-page":"173","volume":"1255","author":"WT Wu","year":"1987","unstructured":"Wu WT, A constructive theorey of differential algebraic geometry, Lect. Notes in Math., Springer, 1987, 1255: 173\u2013189.","journal-title":"Springer"},{"issue":"6","key":"5040_CR11","doi-asserted-by":"crossref","first-page":"1320","DOI":"10.1007\/s11424-014-2017-0","volume":"27","author":"J S Cheng","year":"2014","unstructured":"Cheng J S and Gao X S, Multiplicity-preserving triangular set decomposition of two polynomials, Journal of Systems Science and Complexity, 2014, 27(6): 1320\u20131344.","journal-title":"Journal of Systems Science and Complexity"},{"issue":"3","key":"5040_CR12","doi-asserted-by":"crossref","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, A characteristic set method for difference polynomial systems, J. Symb. Comput., 2009, 44(3): 242\u2013260.","journal-title":"J. Symb. Comput."},{"key":"5040_CR13","doi-asserted-by":"crossref","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, Characteristic set algorithms for equation solving in finite fields, J. Symb. Comput., 2012, 47: 655\u2013679.","journal-title":"J. Symb. Comput."},{"issue":"4","key":"5040_CR14","doi-asserted-by":"crossref","first-page":"778","DOI":"10.1007\/s11424-012-0168-4","volume":"25","author":"Z Huang","year":"2012","unstructured":"Huang Z, Parametric equation solving and qiantifier elimination in finite fields with characteristic set method, Journal of Systems Science and Complexity, 2012, 25(4): 778\u2013791.","journal-title":"Journal of Systems Science and Complexity"},{"key":"5040_CR15","doi-asserted-by":"crossref","first-page":"2983","DOI":"10.1016\/j.camwa.2010.09.059","volume":"60","author":"X Li","year":"2010","unstructured":"Li X, Mou C, and Wang D, Decomposing polynomial sets into somple sets over finite fields: The zero-dimensional case, Computer and Mathematics with Applications, 2010, 60: 2983\u20132997.","journal-title":"Computer and Mathematics with Applications"},{"key":"5040_CR16","first-page":"187","volume-title":"Proc. ISSAC 2010, ACM Press, New York","author":"C Chen","year":"2010","unstructured":"Chen C, Davenport J H, May J P, et al., Triangular decomposition of semi-algebraic systems, Proc. ISSAC 2010, ACM Press, New York, 2010, 187\u2013194."},{"key":"5040_CR17","first-page":"119","volume":"94","author":"G Gallo","year":"1991","unstructured":"Gallo G and Mishra B, Efficient algorithms and bounds for Wu-Ritt characteristic sets, Progress in Mathematics, 1991, 94: 119\u2013142.","journal-title":"Progress in Mathematics"},{"issue":"11","key":"5040_CR18","doi-asserted-by":"crossref","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, Journal of Algebra, 2009, 322(11): 3852\u20133877.","journal-title":"Journal of Algebra"},{"key":"5040_CR19","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BFb0030287","volume":"176","author":"D Y Grigor\u2019ev","year":"1984","unstructured":"Grigor\u2019ev D Y, Complexity of quantifier elimination in the theory of ordinary differential equations, Lecture Notes in Computer Science, 1984, 176: 17\u201331.","journal-title":"Lecture Notes in Computer Science"},{"key":"5040_CR20","first-page":"799","volume":"38","author":"X S Gao","year":"1993","unstructured":"Gao X S and Chou C, On the dimension of an arbitrary ascending chain, Chinese Sci. Bull., 1993, 38: 799\u2013804.","journal-title":"Chinese Sci. Bull."},{"key":"5040_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3849-0","volume-title":"Algebraic Geometry","author":"R Hartshorne","year":"1977","unstructured":"Hartshorne R, Algebraic Geometry, Springer-Verlag, Berlin, 1977."}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-016-5040-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-016-5040-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-016-5040-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T02:57:59Z","timestamp":1498359479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-016-5040-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,29]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["5040"],"URL":"https:\/\/doi.org\/10.1007\/s11424-016-5040-5","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,29]]}}}