{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:34:43Z","timestamp":1743042883691,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319663197"},{"type":"electronic","value":"9783319663203"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66320-3_14","type":"book-chapter","created":{"date-parts":[[2017,8,29]],"date-time":"2017-08-29T07:34:27Z","timestamp":1503992067000},"page":"183-195","source":"Crossref","is-referenced-by-count":1,"title":["Characteristic Set Method for Laurent Differential Polynomial Systems"],"prefix":"10.1007","author":[{"given":"Youren","family":"Hu","sequence":"first","affiliation":[]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,30]]},"reference":[{"key":"14_CR1","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., Maza, M.M.: On the theories of triangular sets. J. Symb. Comput. 28, 105\u2013124 (1999)","journal-title":"J. Symb. Comput."},{"key":"14_CR2","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1016\/j.jsc.2009.09.004","volume":"45","author":"F Boulier","year":"2010","unstructured":"Boulier, F., Lemaire, F., Maza, M.M.: Computing differential characteristic sets by change of ordering. J. Symb. Comput. 45, 124\u2013149 (2010)","journal-title":"J. Symb. Comput."},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1006\/jsco.1999.1562","volume":"31","author":"D Bouziane","year":"2010","unstructured":"Bouziane, D., Kandri Rody, A., Ma\u00e2rouf, H.: Unmixed-dimensional decomposition of a finitely generated perfect differential ideal. J. Symb. Comput. 31, 631\u2013649 (2010)","journal-title":"J. Symb. Comput."},{"key":"14_CR4","doi-asserted-by":"crossref","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. Ann. Inst. Fourier 43, 125\u2013142 (1993)","journal-title":"Ann. Inst. Fourier"},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1524\/anly.1993.13.12.103","volume":"13","author":"J Cano","year":"1993","unstructured":"Cano, J.: On the series defined by differential equations, with an extension of the Puiseux polygon construction to these equations. Analysis 13, 103\u2013120 (1993)","journal-title":"Analysis"},{"key":"14_CR6","doi-asserted-by":"crossref","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., Maza, M.M., Xia, B., Xiao, R.: Triangular decomposition of semi-algebraic systems. J. Symb. Comput. 49, 3\u201326 (2013)","journal-title":"J. Symb. Comput."},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/3-540-52885-7_89","volume-title":"10th International Conference on Automated Deduction","author":"S-C Chou","year":"1990","unstructured":"Chou, S.-C., Gao, X.-S.: Ritt-Wu\u2019s decomposition algorithm and geometry theorem proving. In: Stickel, M.E. (ed.) CADE 1990. LNCS, vol. 449, pp. 207\u2013220. Springer, Heidelberg (1990). doi: 10.1007\/3-540-52885-7_89"},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF00881834","volume":"10","author":"SC Chou","year":"1993","unstructured":"Chou, S.C., Gao, X.S.: Automated reasoning in differential geometry and mechanics: part I. An improved version of Ritt-Wu\u2019s decomposition algorithm. J. Autom. Reason. 10, 161\u2013172 (1993)","journal-title":"J. Autom. Reason."},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1016\/j.jsc.2011.12.025","volume":"47","author":"XS Gao","year":"2012","unstructured":"Gao, X.S., Huang, Z.: Characteristic set algorithms for equation solving in finite fields. J. Symb. Comput. 47, 655\u2013679 (2012)","journal-title":"J. Symb. Comput."},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1016\/j.jsc.2016.07.029","volume":"80","author":"XS Gao","year":"2017","unstructured":"Gao, X.S., Huang, Z., Yuan, C.M.: Binomial difference ideals. J. Symb. Comput. 80, 665\u2013706 (2017)","journal-title":"J. Symb. Comput."},{"key":"14_CR11","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1016\/j.jsc.2007.05.005","volume":"44","author":"XS Gao","year":"2009","unstructured":"Gao, X.S., Luo, Y., Yuan, C.: A characteristic set method for difference polynomial systems. J. Symb. Comput. 44, 242\u2013260 (2009)","journal-title":"J. Symb. Comput."},{"key":"14_CR12","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1090\/S0002-9947-1991-1012519-2","volume":"327","author":"DY Grigoriev","year":"1991","unstructured":"Grigoriev, D.Y., Singer, M.: Solving ordinary differential equations in terms of series with real exponents. Trans. AMS 327, 329\u2013351 (1991)","journal-title":"Trans. AMS"},{"key":"14_CR13","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1006\/jsco.1999.0344","volume":"129","author":"E Hubert","year":"2000","unstructured":"Hubert, E.: Factorization-free decomposition algorithms in differential algebra. J. Symb. Comput. 129, 641\u2013662 (2000)","journal-title":"J. Symb. Comput."},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.aam.2015.09.004","volume":"72","author":"W Li","year":"2016","unstructured":"Li, W., Li, Y.H.: Computation of differential chow forms for ordinary prime differential ideals. Adv. Appl. Math. 72, 77\u2013112 (2016)","journal-title":"Adv. Appl. Math."},{"key":"14_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., Wang, D.: Decomposing polynomial sets into simple sets over finite fields. Comput. Math. Appl. 60, 2983\u20132997 (2010)","journal-title":"Comput. Math. Appl."},{"key":"14_CR16","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/s002000050108","volume":"9","author":"F Pauer","year":"1999","unstructured":"Pauer, F., Unterkircher, A.: Gr\u00f6bner bases for ideals in Laurent polynomial rings and their application to systems of difference equations. AAECC 9, 271\u2013291 (1999)","journal-title":"AAECC"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Sit, W.: The Ritt-Kolchin theory for diffferential polynomials. In: Differential Algebra and Related Topics, pp. 1\u201370 (2002)","DOI":"10.1142\/9789812778437_0001"},{"key":"14_CR18","volume-title":"Elimination Methods","author":"D Wang","year":"2012","unstructured":"Wang, D.: Elimination Methods. Springer Science & Business Media, Heidelberg (2012)"},{"key":"14_CR19","volume-title":"Mathematics Mechanization","author":"WT Wu","year":"2001","unstructured":"Wu, W.T.: Mathematics Mechanization. Science Press\/Kluwer, Beijing (2001)"},{"key":"14_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11704-007-0001-8","volume":"1","author":"WT Wu","year":"2007","unstructured":"Wu, W.T., Gao, X.S.: Mathematics mechanization and applications after thirty years. Front. Comput. Sci. 1, 1\u20138 (2007)","journal-title":"Front. Comput. Sci."},{"key":"14_CR21","unstructured":"Yang, L., Zhang, J.: Searching dependency between algebraic equations. ICTP, IC\/91\/6 (1991)"},{"key":"14_CR22","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0024-3795(94)90188-0","volume":"202","author":"S Zampieri","year":"1994","unstructured":"Zampieri, S.: A solution of the Cauchy problem for multidimensional discrete linear shift-invariant systems. Linear Algebra Appl. 202, 143\u2013162 (1994)","journal-title":"Linear Algebra Appl."},{"key":"14_CR23","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/s11424-016-5040-5","volume":"30","author":"W Zhu","year":"2017","unstructured":"Zhu, W., Gao, X.S.: A triangular decomposition algorithm for differential polynomial systems with elemenray complexity. J. Syst. Sci. Complex. 30, 464\u2013483 (2017)","journal-title":"J. Syst. Sci. Complex."}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66320-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T17:55:29Z","timestamp":1570038929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66320-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663197","9783319663203"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66320-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}