{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T08:08:18Z","timestamp":1692778098805},"reference-count":33,"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-8343-5","type":"journal-article","created":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T05:53:25Z","timestamp":1550123605000},"page":"62-77","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Ritt-Wu Characteristic Set Method for Laurent Partial Differential Polynomial Systems"],"prefix":"10.1007","volume":"32","author":[{"given":"Youren","family":"Hu","sequence":"first","affiliation":[]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,14]]},"reference":[{"key":"8343_CR1","doi-asserted-by":"publisher","DOI":"10.1090\/coll\/033","volume-title":"Differential Algebra","author":"J Ritt","year":"1950","unstructured":"Ritt J, Differential Algebra, The American Mathematical Society, 1950."},{"issue":"2","key":"8343_CR2","first-page":"117","volume":"29","author":"W T Wu","year":"1978","unstructured":"Wu W T, On the decision problem and the mechanization of theorem-proving in elementary geometry, Science in China Ser. A, 1978, 29(2): 117\u2013138.","journal-title":"Science in China Ser. A"},{"issue":"3","key":"8343_CR3","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"W T Wu","year":"1986","unstructured":"Wu W T, Basic principles of mechanical theorem proving in elementary geometries, Journal of Automated Reasoning, 1986, 2(3): 221\u2013252.","journal-title":"Journal of Automated Reasoning"},{"key":"8343_CR4","volume-title":"Mathematics Mechanization","author":"W T Wu","year":"2001","unstructured":"Wu W T, Mathematics Mechanization, Science Press\/Kluwer, Beijing, 2001."},{"issue":"1\u20132","key":"8343_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 Maza M M, On the theories of triangular sets, Journal of Symbolic Computation, 1999, 28(1\u20132): 105\u2013124.","journal-title":"Journal of Symbolic Computation"},{"key":"8343_CR6","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/3-540-52885-7_89","volume-title":"Tenth International Conference on Automated Deduction","author":"S C Chou","year":"1990","unstructured":"Chou S C and Gao X S, Ritt-Wu\u2019s decomposition algorithm and geometry theorem proving, Tenth International Conference on Automated Deduction, Springer-Verlag, New York, 1990, 207\u2013220."},{"issue":"6","key":"8343_CR7","doi-asserted-by":"publisher","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":"2","key":"8343_CR8","first-page":"97","volume":"5","author":"B H Li","year":"2003","unstructured":"Li B H, A method to solve algebraic equations up to multiplicities via Ritt-Wu\u2019s characteristic sets, Acta Analysis Functionalis Applicata, 2003, 5(2): 97\u2013109.","journal-title":"Acta Analysis Functionalis Applicata"},{"issue":"1","key":"8343_CR9","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/s11424-019-8344-4","volume":"32","author":"B H Li","year":"2019","unstructured":"Li B H, Hilbert problem 15 and Ritt-Wu method (I), Journal of Systems Science and Complexity, 2019, 32(1): 47\u201361.","journal-title":"Journal of Systems Science and Complexity"},{"key":"8343_CR10","first-page":"269","volume-title":"International Symposium","author":"X Li","year":"2007","unstructured":"Li X and Maza M M, Fast arithmetic for triangular sets: From theory to practice, International Symposium, 2007, 269\u2013276."},{"key":"8343_CR11","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, Vienna, 2001."},{"key":"8343_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 Education Pub., Shanghai, 1996."},{"key":"8343_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jsc.2011.12.014","volume":"49","author":"C Chen","year":"2013","unstructured":"Chen C, Davenport J H, May J P, et al., Triangular decomposition of semi-algebraic systems, Journal of Symbolic Computation, 2013, 49: 3\u201326.","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"8343_CR14","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s11424-008-9103-0","volume":"21","author":"F Chai","year":"2008","unstructured":"Chai F, Gao X S, and Yuan C, A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers, Journal of Systems Science and Complexity, 2008, 21(2): 191\u2013208.","journal-title":"Journal of Systems Science and Complexity"},{"issue":"6","key":"8343_CR15","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1016\/j.jsc.2011.12.025","volume":"46","author":"X S Gao","year":"2011","unstructured":"Gao X S and Huang Z, Characteristic set algorithms for equation solving in finite fields, Journal of Symbolic Computation, 2011, 46(6): 655\u2013679.","journal-title":"Journal of Symbolic Computation"},{"issue":"11","key":"8343_CR16","first-page":"2983","volume":"60","author":"X Li","year":"2010","unstructured":"Li X, Mou C, and Wang D, Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case, Theoretical Computer Science, 2010, 60(11): 2983\u20132997.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"8343_CR17","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 Maza M M, Computing differential characteristic sets by change of ordering, Journal of Symbolic Computation, 2010, 45(1): 124\u2013149.","journal-title":"Journal of Symbolic Computation"},{"issue":"6","key":"8343_CR18","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1006\/jsco.1999.1562","volume":"31","author":"D Bouziane","year":"2001","unstructured":"Bouziane D, Rody A K, and Ma\u00e2rouf H, Unmixed-dimensional decomposition of a finitely generated perfect differential ideal, Journal of Symbolic Computation, 2001, 31(6): 631\u2013649.","journal-title":"Journal of Symbolic Computation"},{"key":"8343_CR19","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF00881834","volume":"10","author":"S C Chou","year":"1993","unstructured":"Chou S C and Gao X S, Automated reasonning in differential geometry and mechanics using the characteristic set method. Part I. An improved version of Ritt-Wu\u2019s decomposition algorithm, Journal of Automated Reasonning, 1993, 10: 161\u2013172.","journal-title":"Journal of Automated Reasonning"},{"issue":"4","key":"8343_CR20","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, Journal of Symbolic Computation, 2000, 29(4): 641\u2013662.","journal-title":"Journal of Symbolic Computation"},{"key":"8343_CR21","first-page":"1","volume-title":"Differential Algebra and Related Topics","author":"W Y Sit","year":"2002","unstructured":"Sit W Y, The Ritt-Kolchin theory for differential polynomials, Differential Algebra and Related Topics, 2002, 1\u201370."},{"issue":"2","key":"8343_CR22","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/s11424-016-5040-5","volume":"30","author":"W Zhu","year":"2017","unstructured":"Zhu W and Gao X S, A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity, Journal of Systems Science and Complexity, 2017, 30(2): 464\u2013483.","journal-title":"Journal of Systems Science and Complexity"},{"issue":"3","key":"8343_CR23","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, Journal of Symbolic Computation, 2009, 44(3): 242\u2013260.","journal-title":"Journal of Symbolic Computation"},{"issue":"1","key":"8343_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11704-007-0001-8","volume":"1","author":"W T Wu","year":"2007","unstructured":"Wu W T and Gao X S, Mathematics mechanization and applications after thirty years, Frontiers of Computer Science in China, 2007, 1(1): 1\u20138.","journal-title":"Frontiers of Computer Science in China"},{"key":"8343_CR25","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, Journal of Symbolic Computation, 2017, 80: 665\u2013706.","journal-title":"Journal of Symbolic Computation"},{"issue":"1","key":"8343_CR26","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 and Complexity, 2017, 30(1): 173\u2013195.","journal-title":"Journal of Systems Science and Complexity"},{"key":"8343_CR27","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-319-66320-3_14","volume-title":"International Workshop on Computer Algebra in Scientific Computing","author":"Y Hu","year":"2017","unstructured":"Hu Y and Gao X S, Characteristic set method for Laurent differential polynomial systems, International Workshop on Computer Algebra in Scientific Computing, Springer, 2017, 183\u2013195."},{"issue":"1","key":"8343_CR28","doi-asserted-by":"publisher","first-page":"125","DOI":"10.5802\/aif.1324","volume":"43","author":"J Cano","year":"1993","unstructured":"Cano J, An extension of the Newton-Puiseux polygon construction to give solutions of Pfaffian forms, Annales-Institut Fourier, 1993, 43(1): 125\u2013142.","journal-title":"Annales-Institut Fourier"},{"issue":"4","key":"8343_CR29","doi-asserted-by":"publisher","first-page":"317","DOI":"10.2307\/2369347","volume":"11","author":"H B Fine","year":"1889","unstructured":"Fine H B, On the functions defined by differential equations, with an extension of the Puiseux polygon construction to these equations, American Journal of Mathematics, 1889, 11(4): 317\u2013328.","journal-title":"American Journal of Mathematics"},{"issue":"1","key":"8343_CR30","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1090\/S0002-9947-1991-1012519-2","volume":"327","author":"D Y Grigor\u2019ev","year":"1991","unstructured":"Grigor\u2019ev D Y and Singer M F, Solving ordinary differential equations in terms of series with real exponents, Transactions of the American Mathematical Society, 1991, 327(1): 329\u2013351.","journal-title":"Transactions of the American Mathematical Society"},{"key":"8343_CR31","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, 1973."},{"issue":"3","key":"8343_CR32","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, Transactions of the American Mathematical Society, 1959, 90(3): 394\u2013407.","journal-title":"Transactions of the American Mathematical Society"},{"key":"8343_CR33","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, Advances in Applied Mathematics, 2016, 72: 77\u2013112.","journal-title":"Advances in Applied Mathematics"}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-019-8343-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8343-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8343-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,14]],"date-time":"2020-02-14T00:05:53Z","timestamp":1581638753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-019-8343-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["8343"],"URL":"https:\/\/doi.org\/10.1007\/s11424-019-8343-5","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":"19 August 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 November 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"}}]}}