{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T22:37:32Z","timestamp":1648507052771},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,11,2]],"date-time":"2009-11-02T00:00:00Z","timestamp":1257120000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s11424-009-9192-4","type":"journal-article","created":{"date-parts":[[2009,11,20]],"date-time":"2009-11-20T17:56:10Z","timestamp":1258739770000},"page":"627-635","source":"Crossref","is-referenced-by-count":0,"title":["A criterion for testing whether a difference ideal is prime"],"prefix":"10.1007","volume":"22","author":[{"given":"Chunming","family":"Yuan","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":[[2009,11,2]]},"reference":[{"key":"9192_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1006\/jsco.1999.0269","volume":"28","author":"P Aubry","year":"1999","unstructured":"P. Aubry, D. Lazard, and M. M. Maza, On the theory of triangular sets, Journal of Symbolic Computation, 1999, 28: 105\u2013124.","journal-title":"Journal of Symbolic Computation"},{"key":"9192_CR2","series-title":"Proc. of ISSAC'95","first-page":"158","volume-title":"Representation for the Radical of a Finitely Generated Differential Ideal","author":"F Boulier","year":"1995","unstructured":"F. Boulier, D. Lazard, F. Ollivier, and M. Petitiot, Representation for the Radical of a Finitely Generated Differential Ideal, Proc. of ISSAC'95, 158\u2013166, ACM Press, New York, 1995."},{"key":"9192_CR3","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1006\/jsco.1999.1562","volume":"31","author":"D Bouziane","year":"2001","unstructured":"D. Bouziane, A. Kandri Rody, and H. Ma\u00e2rouf, Unmixed-dimensional decomposition of a finitely generated perfect differential ideal, Journal of Symbolic Computation, 2001, 31: 631\u2013649.","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"9192_CR4","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s11424-008-9103-0","volume":"21","author":"F Chai","year":"2008","unstructured":"F. Chai, X. S. Gao, and C. M. Yuan, A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers, Journal of Systems Science & Complexity, 2008, 21(2): 191\u2013208.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"4","key":"9192_CR5","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/j.jsc.2008.07.002","volume":"44","author":"O Golubitsky","year":"2009","unstructured":"O. Golubitsky, M. Kondratieva, and A. Ovchinnikov, Algebraic transformation of differential characteristic decompositions from one ranking to another, Journal of Symbolic Computation, 2009, 44(4): 333\u2013357.","journal-title":"Journal of Symbolic Computation"},{"key":"9192_CR6","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1006\/jsco.1999.0344","volume":"29","author":"\u00c9 Hubert","year":"2000","unstructured":"\u00c9. Hubert, Factorization-free decomposition algorithms in differential algebra, Journal of Symbolic Computation, 2000, 29: 641\u2013662.","journal-title":"Journal of Symbolic Computation"},{"key":"9192_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-1257-6","volume-title":"Differential and Difference Dimension Polynomials","author":"MV Kondratieva","year":"1999","unstructured":"M. V. Kondratieva, A. B. Levin, A. V. Mikhalev, and E. V. Pankratiev, Differential and Difference Dimension Polynomials, Kluwer Academic Publishers, Dordrecht, 1999."},{"key":"9192_CR8","doi-asserted-by":"crossref","DOI":"10.1090\/coll\/033","volume-title":"Differential Algebra","author":"JF Ritt","year":"1950","unstructured":"J. F. Ritt, Differential Algebra, American Mathematical Society, Now York, 1950."},{"key":"9192_CR9","volume-title":"Elimination Methods","author":"D Wang","year":"2000","unstructured":"D. Wang, Elimination Methods, Springer, Berlin, 2000."},{"key":"9192_CR10","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"WT Wu","year":"1986","unstructured":"W. T. Wu, Basic principle of mechanical theorem proving in elementray geometries, Journal of Automated Reasoning, 1986, 2: 221\u2013252.","journal-title":"Journal of Automated Reasoning"},{"issue":"4","key":"9192_CR11","first-page":"289","volume":"2","author":"WT Wu","year":"1989","unstructured":"W. T. Wu, On the foundation of algebraic differential polynomial geometry, Sys. Sci. & Math. Sci., 1989, 2(4): 289\u2013312.","journal-title":"Sys. Sci. & Math. Sci."},{"key":"9192_CR12","volume-title":"Non-linear Algebraic Equations and Automated Theorem Proving","author":"L Yang","year":"1996","unstructured":"L. Yang, J. Z. Zhang, and X. R. Hou, Non-linear Algebraic Equations and Automated Theorem Proving (in Chinese), ShangHai Science and Education Pub., Shanghai, 1996."},{"key":"9192_CR13","doi-asserted-by":"crossref","first-page":"505","DOI":"10.2307\/2371147","volume":"55","author":"JF Ritt","year":"1933","unstructured":"J. F. Ritt and J. L. Doob, Systems of algebraic difference equations, American Journal of Mathematics, 1933, 55: 505\u2013514.","journal-title":"American Journal of Mathematics"},{"key":"9192_CR14","volume-title":"Difference Algebra","author":"RM Cohn","year":"1965","unstructured":"R. M. Cohn, Difference Algebra, Interscience Publishers, New Brunswick, 1965."},{"issue":"3","key":"9192_CR15","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1016\/j.jsc.2007.05.005","volume":"44","author":"XS Gao","year":"2009","unstructured":"X. S. Gao, Y. Luo, and C. M. Yuan, A characteristic set method for difference polynomial systems, Journal of Symbolic Computation, 2009, 44(3): 242\u2013260.","journal-title":"Journal of Symbolic Computation"},{"issue":"9","key":"9192_CR16","doi-asserted-by":"crossref","first-page":"1137","DOI":"10.1016\/j.jsc.2008.02.010","volume":"44","author":"XS Gao","year":"2009","unstructured":"X. S. Gao, J. Van der Hoeven, C. M. Yuan, and G. Zhang, Characteristic set method for differential\u2013difference polynomial systems, Journal of Symbolic Computation, 2009, 44(9): 1137\u20131163.","journal-title":"Journal of Symbolic Computation"},{"key":"9192_CR17","series-title":"Proc. ISSAC","first-page":"101","volume-title":"Resolvent Systems of Difference Polynomial Ideals","author":"XS Gao","year":"2006","unstructured":"X. S. Gao and C. M. Yuan, Resolvent Systems of Difference Polynomial Ideals, in Proc. ISSAC, 2006, 101\u2013108, ACM Press, New York."},{"issue":"3\/4","key":"9192_CR18","first-page":"1063","volume":"29","author":"XS Gao","year":"2009","unstructured":"X. S. Gao, C. M. Yuan, and G. Zhang, Ritt-Wu's characteristic set method for ordinary difference polynomial systems with arbitrary ordering, Acta Mathematica Scientia, 2009, 29(3\/4): 1063\u20131080.","journal-title":"Acta Mathematica Scientia"},{"key":"9192_CR19","volume-title":"Mathematics Machenization","author":"WT Wu","year":"2001","unstructured":"W. T. Wu, Mathematics Machenization, Science Press\/Kluwer, Beijing, 2001."}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-009-9192-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-009-9192-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-009-9192-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T14:53:58Z","timestamp":1559400838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-009-9192-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,2]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["9192"],"URL":"https:\/\/doi.org\/10.1007\/s11424-009-9192-4","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,2]]}}}