{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:01:40Z","timestamp":1760061700144},"reference-count":34,"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-8356-0","type":"journal-article","created":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T05:53:25Z","timestamp":1550123605000},"page":"37-46","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Characteristic Decomposition: From Regular Sets to Normal Sets"],"prefix":"10.1007","volume":"32","author":[{"given":"Chenqi","family":"Mou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongming","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,14]]},"reference":[{"key":"8356_CR1","doi-asserted-by":"publisher","DOI":"10.1090\/coll\/033","volume-title":"Differential Algebra","author":"J Ritt","year":"1950","unstructured":"Ritt J, Differential Algebra, American Mathematical Society, New York, 1950."},{"issue":"1","key":"8356_CR2","first-page":"1","volume":"31","author":"W-T Wu","year":"1986","unstructured":"Wu W-T, On zeros of algebraic equations: An application of Ritt principle, Kexue Tongbao, 1986, 31(1): 1\u20135.","journal-title":"Kexue Tongbao"},{"key":"8356_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6639-0","volume-title":"Mechanical Theorem Proving in Geometries: Basic Principles","author":"W-T Wu","year":"1994","unstructured":"Wu W-T, Mechanical Theorem Proving in Geometries: Basic Principles, Springer-Verlag, Wien, 1994 [Translated from the Chinese by X. Jin and D. Wang]."},{"key":"8356_CR4","volume-title":"Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving","author":"W-T Wu","year":"2001","unstructured":"Wu W-T, Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving, Kluwer Academic Publishers Norwell, MA, USA, 2001."},{"issue":"1\u20132","key":"8356_CR5","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\u20132): 105\u2013124.","journal-title":"J. Symbolic Comput."},{"issue":"10","key":"8356_CR6","doi-asserted-by":"publisher","first-page":"1233","DOI":"10.1016\/j.jsc.2011.12.043","volume":"47","author":"T B\u00e4chler","year":"2012","unstructured":"B\u00e4chler T, Gerdt V, Lange-Hegermann M, et al., Algorithmic Thomas decomposition of algebraic and differential systems, J. Symbolic Comput., 2012, 47(10): 1233\u20131266.","journal-title":"J. Symbolic Comput."},{"issue":"6","key":"8356_CR7","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1016\/j.jsc.2011.12.023","volume":"47","author":"C Chen","year":"2012","unstructured":"Chen C and Moreno Maza M, Algorithms for computing triangular decompositions of polynomial systems, J. Symbolic Comput., 2012, 47(6): 610\u2013642.","journal-title":"J. Symbolic Comput."},{"key":"8356_CR8","first-page":"207","volume-title":"Proceedings of CADE-10","author":"S C Chou","year":"1990","unstructured":"Chou S C and Gao X S, Ritt-Wu\u2019s decomposition algorithm and geometry theorem proving, Proceedings of CADE-10, Ed. by Stickel M, Springer-Verlag, Berlin Heidelberg, 1990, 207\u2013220."},{"key":"8356_CR9","first-page":"143","volume-title":"Symbolic and Numerical Scientific Computation","author":"E Hubert","year":"2003","unstructured":"Hubert E, Notes on triangular sets and triangulation-decomposition algorithms I: Polynomial systems, Symbolic and Numerical Scientific Computation, Eds. by Winkler F and Langer U, Springer-Verlag, Berlin Heidelberg, 2003, 143\u2013158."},{"issue":"2","key":"8356_CR10","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."},{"issue":"1\u20133","key":"8356_CR11","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0166-218X(91)90113-B","volume":"33","author":"D Lazard","year":"1991","unstructured":"Lazard D, A new method for solving algebraic systems of positive dimension, Discrete Appl. Math., 1991, 33(1\u20133): 147\u2013160.","journal-title":"Discrete Appl. Math."},{"issue":"2","key":"8356_CR12","doi-asserted-by":"publisher","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. Symbolic Comput., 1993, 16(2): 83\u2013114.","journal-title":"J. Symbolic Comput."},{"issue":"3","key":"8356_CR13","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1006\/jsco.1997.0177","volume":"25","author":"D Wang","year":"1998","unstructured":"Wang D, Decomposing polynomial systems into simple systems, J. Symbolic Comput., 1998, 25(3): 295\u2013314.","journal-title":"J. Symbolic Comput."},{"issue":"2","key":"8356_CR14","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/jsco.1999.0355","volume":"30","author":"D Wang","year":"2000","unstructured":"Wang D, Computing triangular systems and regular systems, J. Symbolic Comput., 2000, 30(2): 221\u2013236.","journal-title":"J. Symbolic Comput."},{"key":"8356_CR15","volume-title":"Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal","author":"B Buchberger","year":"1965","unstructured":"Buchberger B, Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal, PhD thesis, Universit\u00e4t Innsbruck, Austria, 1965."},{"issue":"1\u20133","key":"8356_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0022-4049(99)00005-5","volume":"139","author":"J C Faug\u00e8re","year":"1999","unstructured":"Faug\u00e8re J C, A new efficient algorithm for computing Gr\u00f6bner bases (F\n                           4), J. Pure Appl. Algebra, 1999, 139(1\u20133): 61\u201388.","journal-title":"J. Pure Appl. Algebra"},{"key":"8356_CR17","first-page":"75","volume-title":"Proceedings of ISSAC 2002","author":"J C Faug\u00e8re","year":"2002","unstructured":"Faug\u00e8re J C, A new efficient algorithm for computing Gr\u00f6bner bases without reduction to zero (F\n                           5), Proceedings of ISSAC 2002, Ed. by Mora T, ACM Press, 2002, 75\u201383."},{"issue":"4","key":"8356_CR18","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1006\/jsco.1993.1051","volume":"16","author":"J C Faug\u00e8re","year":"1993","unstructured":"Faug\u00e8re J C, Gianni P, Lazard D, et al., Efficient computation of zero-dimensional Gr\u00f6bner bases by change of ordering, J. Symbolic Comput., 1993, 16(4): 329\u2013344.","journal-title":"J. Symbolic Comput."},{"issue":"2","key":"8356_CR19","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0747-7171(88)80040-3","volume":"6","author":"P Gianni","year":"1988","unstructured":"Gianni P, Trager B, and Zacharias G, Gr\u00f6bner bases and primary decomposition of polynomial ideals, J. Symbolic Comput., 1988, 6(2): 149\u2013167.","journal-title":"J. Symbolic Comput."},{"key":"8356_CR20","first-page":"29","volume-title":"Proceedings of ISSAC 2010","author":"D Kapur","year":"2010","unstructured":"Kapur D, Sun Y, and Wang D, A new algorithm for computing comprehensive Gr\u00f6bner systems, Proceedings of ISSAC 2010, Ed. by Watt S, ACM Press, 2010, 29\u201336."},{"issue":"297","key":"8356_CR21","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1090\/mcom\/2969","volume":"85","author":"S Gao","year":"2016","unstructured":"Gao S, Volny F, and Wang M, A new framework for computing Gr\u00f6bner bases, Math. Comp., 2016, 85(297): 449\u2013465.","journal-title":"Math. Comp."},{"issue":"3","key":"8356_CR22","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1006\/jsco.1996.0052","volume":"22","author":"T Shimoyama","year":"1996","unstructured":"Shimoyama T and Yokoyama K, Localization and primary decomposition of polynomial ideals, J. Symbolic Comput., 1996, 22(3): 247\u2013277.","journal-title":"J. Symbolic Comput."},{"issue":"1","key":"8356_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0747-7171(92)90023-W","volume":"14","author":"V Weispfenning","year":"1992","unstructured":"Weispfenning V, Comprehensive Gr\u00f6bner bases, J. Symbolic Comput., 1992, 14(1): 1\u201329.","journal-title":"J. Symbolic Comput."},{"key":"8356_CR24","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Multidimensional Systems Theory","author":"B Buchberger","year":"1985","unstructured":"Buchberger B, Gr\u00f6bner bases: An algorithmic method in polynomial ideal theory, Multidimensional Systems Theory, Ed. by Bose N, Springer, Netherlands, 1985, 184\u2013232."},{"key":"8356_CR25","volume-title":"On lexicographic Gr\u00f6bner bases of radical ideals in dimension zero: Interpolation and structure","author":"X Dahan","year":"2012","unstructured":"Dahan X, On lexicographic Gr\u00f6bner bases of radical ideals in dimension zero: Interpolation and structure, arXiv: 1207.3887, 2012."},{"issue":"2","key":"8356_CR26","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0747-7171(08)80086-7","volume":"13","author":"D Lazard","year":"1992","unstructured":"Lazard D, Solving zero-dimensional algebraic systems, J. Symbolic Comput., 1992, 13(2): 117\u2013131.","journal-title":"J. Symbolic Comput."},{"key":"8356_CR27","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s11786-016-0279-8","volume":"10","author":"D Wang","year":"2016","unstructured":"Wang D, On the connection between Ritt characteristic sets and Buchberger-Gr\u00f6bner bases, Math. Comput. Sci., 2016, 10: 479\u2013492.","journal-title":"Math. Comput. Sci."},{"key":"8356_CR28","first-page":"335","volume-title":"Proceedings of ISSAC 1992","author":"X S Gao","year":"1992","unstructured":"Gao X S and Chou S C, Solving parametric algebraic systems, Proceedings of ISSAC 1992, Ed. by Wang P, ACM Press, 1992, 335\u2013341."},{"key":"8356_CR29","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-540-87827-8_20","volume-title":"Computer Mathematics","author":"B Li","year":"2008","unstructured":"Li B and Wang D, An algorithm for transforming regular chain into normal chain, Computer Mathematics, Ed. by Kapur D, Springer-Verlag, Berlin Heidelberg, 2008, 236\u2013245."},{"issue":"10","key":"8356_CR30","doi-asserted-by":"publisher","first-page":"1441","DOI":"10.1007\/s11425-007-0118-0","volume":"50","author":"D Wang","year":"2007","unstructured":"Wang D and Zhang Y, An algorithm for decomposing a polynomial system into normal ascending sets, Sci. China, Ser. A, 2007, 50(10): 1441\u20131450.","journal-title":"Sci. China, Ser. A"},{"key":"8356_CR31","first-page":"77","volume-title":"Proceedings of CASC 2017","author":"R Dong","year":"2017","unstructured":"Dong R and Mou C, Decomposing polynomial sets simultaneously into Gr\u00f6bner bases and normal triangular sets, Proceedings of CASC 2017, Eds. by Gerdt V, Koepf W, Seiler W, et al., Springer-Verlag, Berlin Heidelberg, 2017, 77\u201392."},{"key":"8356_CR32","volume-title":"Decomposition of polynomial sets into characteristic pairs","author":"D Wang","year":"2017","unstructured":"Wang D, Dong R, and Mou C, Decomposition of polynomial sets into characteristic pairs, arXiv: 1702.08664, 2017."},{"key":"8356_CR33","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.tcs.2012.11.009","volume":"468","author":"C Mou","year":"2013","unstructured":"Mou C, Wang D, and Li X, 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."},{"key":"8356_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6202-6","volume-title":"Elimination Methods","author":"D Wang","year":"2001","unstructured":"Wang D, Elimination Methods, Springer-Verlag, Wien, 2001."}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-019-8356-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8356-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8356-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,14]],"date-time":"2020-02-14T00:04:35Z","timestamp":1581638675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-019-8356-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["8356"],"URL":"https:\/\/doi.org\/10.1007\/s11424-019-8356-0","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":"4 September 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 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"}}]}}