{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T03:50:45Z","timestamp":1775533845020,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540878261","type":"print"},{"value":"9783540878278","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87827-8_25","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T13:53:21Z","timestamp":1221918801000},"page":"307-321","source":"Crossref","is-referenced-by-count":3,"title":["Properties of Ascending Chains for Partial Difference Polynomial Systems"],"prefix":"10.1007","author":[{"given":"Gui-Lin","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Aubry, P.: Ensembles Triangulaires de polyn\u00f4mes et R\u00e9solution de Syst\u00e8mes Alg\u00e9briques, Implantation en Axiom. Th\u00e8se de l\u2019universit\u00e9 Pierre et Marie Curie (1999)"},{"key":"25_CR2","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., Moreno Maza, M.: On the Theory of Triangular Sets. Journal of Symbolic Computation\u00a028, 105\u2013124 (1999)","journal-title":"Journal of Symbolic Computation"},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"373","DOI":"10.2307\/1995911","volume":"158","author":"I. Bentsen","year":"1971","unstructured":"Bentsen, I.: The Existence of Solutions of Abstract Partial Difference Polynomial. Trans. of AMS\u00a0158, 373\u2013397 (1971)","journal-title":"Trans. of AMS"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1145\/220346.220367","volume-title":"Proc. of ISSAC 1995","author":"F. Boulier","year":"1995","unstructured":"Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Representation for the Radical of a Finitely Generated Differential Ideal. In: Proc. of ISSAC 1995, pp. 158\u2013166. ACM Press, New York (1995)"},{"key":"25_CR5","unstructured":"Boulier, F., Lemaire, F., Moreno Maza, M.: Well Known Theorems on Triangular Systems and the D5 Principle. In: Proc. of Transgressive Computing 2006, pp. 79\u201391 (2006)"},{"key":"25_CR6","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., M\u00e2rouf, H.: Unmixed-dimensional Decomposition of a Finitely Generated Perfect Differential Ideal. Journal of Symbolic Computation\u00a031, 631\u2013649 (2001)","journal-title":"Journal of Symbolic Computation"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1277548.1277562","volume-title":"Prof. ISSAC 2007","author":"J.S. Cheng","year":"2007","unstructured":"Cheng, J.S., Gao, X.S., Yap, C.K.: Complete Numerical Isolation of Real Zeros in Zero-dimensional Triangular Systems. In: Prof. ISSAC 2007, pp. 92\u201399. ACM Press, New York (2007)"},{"key":"25_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-4037-6","volume-title":"Mechanical Geometry Theorem Proving","author":"S.C. Chou","year":"1987","unstructured":"Chou, S.C.: Mechanical Geometry Theorem Proving. Kluwer Academic Publishers, Norwell (1987)"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/3-540-52885-7_89","volume-title":"CADE 1990","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.\u00a0449, pp. 207\u2013220. Springer, Heidelberg (1990)"},{"key":"25_CR10","unstructured":"Cohn, R.M.: Difference Algebra. Interscience Publishers (1965)"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1145\/1073884.1073901","volume-title":"Proc. ISSAC 2005","author":"X. Dahan","year":"2005","unstructured":"Dahan, X., Moreno Maza, M., Schost, E., Wu, W., Xie, Y.: Lifting Techniques for Triangular Decompositions. In: Proc. ISSAC 2005, pp. 108\u2013115. ACM Press, New York (2005)"},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1006\/jsco.1993.1065","volume":"16","author":"X.S. Gao","year":"1994","unstructured":"Gao, X.S., Chou, S.C.: A Zero Structure Theorem for Differential Parametric Systems. Journal of Symbolic Computation\u00a016, 585\u2013595 (1994)","journal-title":"Journal of Symbolic Computation"},{"key":"25_CR13","unstructured":"Gao, X.S., Luo, Y.: A Characteristic Set Method for Difference Polynomial Systems. In: International Conference on Polynomial System Solving, November 24-26 (2004); Submitted to JSC"},{"key":"25_CR14","first-page":"84","volume":"25","author":"X.S. Gao","year":"2006","unstructured":"Gao, X.S., Luo, Y., Zhang, G.: A Characteristic Set Method For Ordinary Difference Polynomial Systems. MM-Preprints\u00a025, 84\u2013102 (2006)","journal-title":"MM-Preprints"},{"key":"25_CR15","unstructured":"Gao, X.S., van der Hoeven, J., Yuan, C., Zhang, G.: A Characteristic Set Method for Differential-Difference Polynomial Systems. In: MEGA 2007, Strobl, Austria (July 2007)"},{"key":"25_CR16","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 Symbolic Computation\u00a029, 641\u2013662 (2000)","journal-title":"Journal Symbolic Computation"},{"key":"25_CR17","volume-title":"Differential Algebra and Algebraic Groups","author":"E. Kolchin","year":"1973","unstructured":"Kolchin, E.: Differential Algebra and Algebraic Groups. Academic Press, New York (1973)"},{"key":"25_CR18","doi-asserted-by":"crossref","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., Pankratiev, E.V.: Differential and Difference Dimension Polynomials. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Ritt, J.F.: Differential Algebra, Amer. Math. Soc. Colloquium (1950)","DOI":"10.1090\/coll\/033"},{"key":"25_CR20","doi-asserted-by":"publisher","first-page":"445","DOI":"10.2307\/1989932","volume":"46","author":"J.F. Ritt","year":"1939","unstructured":"Ritt, J.F., Raudenbush Jr., H.W.: Ideal Theory and Algebraic Difference Equations. Trans. of AMS\u00a046, 445\u2013452 (1939)","journal-title":"Trans. of AMS"},{"key":"25_CR21","doi-asserted-by":"publisher","first-page":"394","DOI":"10.2307\/1993179","volume":"90","author":"A. Rosenfeld","year":"1959","unstructured":"Rosenfeld, A.: Specialization in Differential Algebra. Trans. Am. Math. Soc\u00a090, 394\u2013407 (1959)","journal-title":"Trans. Am. Math. Soc"},{"key":"25_CR22","volume-title":"Elimination Methods","author":"D. Wang","year":"2000","unstructured":"Wang, D.: Elimination Methods. Springer, Berlin (2000)"},{"key":"25_CR23","first-page":"159","volume":"21","author":"W.T. Wu","year":"1978","unstructured":"Wu, W.T.: On the Decision Problem and the Mechanization of Theorem in Elementary Geometry. Scientia Sinica\u00a021, 159\u2013172 (1978)","journal-title":"Scientia Sinica"},{"key":"25_CR24","series-title":"Lect. Notes in Math","first-page":"173","volume-title":"A Constructive Theorey of Differential Algebraic Geometry","author":"W.T. Wu","year":"1987","unstructured":"Wu, W.T.: A Constructive Theorey of Differential Algebraic Geometry. Lect. Notes in Math, vol.\u00a01255, pp. 173\u2013189. Springer, Heidelberg (1987)"},{"key":"25_CR25","volume-title":"Basic Principle of Mechanical Theorem Proving in Geometries, (in Chinese)","author":"W.T. Wu","year":"1984","unstructured":"Wu, W.T.: Basic Principle of Mechanical Theorem Proving in Geometries (in Chinese). Science Press, Beijing (1984); English Edition. Springer, Wien (1994)"},{"key":"25_CR26","unstructured":"van der Hoeven, J.: Differential and Mixed Differential-Difference Equations from the Effective Viewpoint (preprints, 1996)"},{"key":"25_CR27","volume-title":"Non-linear Algebraic Equations and Automated Theorem Proving (in Chinese)","author":"L. Yang","year":"1996","unstructured":"Yang, L., Zhang, J.Z., Hou, X.R.: Non-linear Algebraic Equations and Automated Theorem Proving (in Chinese). ShangHai Science and Education Pub., ShangHai (1996)"}],"container-title":["Lecture Notes in Computer Science","Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87827-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T07:13:36Z","timestamp":1715238816000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-87827-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540878261","9783540878278"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87827-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}