乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:39:11Z","timestamp":1730313551052,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,9]]},"DOI":"10.1145\/1145768.1145790","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"101-108","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Resolvent systems of difference polynomial ideals"],"prefix":"10.1145","author":[{"given":"Xiao-Shan","family":"Gao","sequence":"first","affiliation":[{"name":"Institute of Systems Science, AMSS Academia Sinica, Beijing, China"}]},{"given":"Chun-Ming","family":"Yuan","sequence":"additional","affiliation":[{"name":"Institute of Systems Science, AMSS Academia Sinica, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2006,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-002-0110-4"},{"volume-title":"Difference Algebra","year":"1965","author":"Cohn R.M.","key":"e_1_3_2_1_2_1","unstructured":"R.M. Cohn , Difference Algebra , Interscience Pbulishers , 1965 .]] R.M. Cohn, Difference Algebra, Interscience Pbulishers, 1965.]]"},{"key":"e_1_3_2_1_3_1","first-page":"133","volume":"64","author":"Cohn R.M.","year":"1948","unstructured":"R.M. Cohn , Manifolds of Difference Polynomials , Trans . of AMS , 64 , 133 -- 172 , 1948 .]] R.M. Cohn, Manifolds of Difference Polynomials, Trans. of AMS, 64, 133--172, 1948.]]","journal-title":"of AMS"},{"volume-title":"Mechanical Geometry Theorem Proving","year":"1988","author":"Chou S.C.","key":"e_1_3_2_1_4_1","unstructured":"S.C. Chou , Mechanical Geometry Theorem Proving , D.Reidel Publishing Company , 1988 .]] S.C. Chou, Mechanical Geometry Theorem Proving, D.Reidel Publishing Company, 1988.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01189021"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1360\/csb1993-38-5-396"},{"key":"e_1_3_2_1_7_1","first-page":"17","article-title":"On the Theory of Resolvents and its Applications","volume":"12","author":"Gao X.S.","year":"1999","unstructured":"X.S. Gao and S.C. Chou , On the Theory of Resolvents and its Applications , Sys. Sci. and Math. Sci. , 12 , 17 -- 30 , 1999 .]] X.S. Gao and S.C. Chou, On the Theory of Resolvents and its Applications, Sys. Sci. and Math. Sci., 12, 17--30, 1999.]]","journal-title":"Sys. Sci. and Math. Sci."},{"volume-title":"Inter Conf on Poly Sys. Sol., Nov. 24--26","year":"2004","author":"Gao X.S.","key":"e_1_3_2_1_8_1","unstructured":"X.S. Gao and Y. Luo , A Characteristic Set Method for Difference Polynomial Systems , Inter Conf on Poly Sys. Sol., Nov. 24--26 , Paris , 2004 . Submitted to JSC.]] X.S. Gao and Y. Luo, A Characteristic Set Method for Difference Polynomial Systems, Inter Conf on Poly Sys. Sol., Nov. 24--26, Paris, 2004. Submitted to JSC.]]"},{"volume-title":"LNCS","year":"1987","author":"Gianni P.","key":"e_1_3_2_1_9_1","unstructured":"P. Gianni and T. Mora , Algebraic Solution of Systems of Polynomial Equations Using Gr\u00f6bnert bases, 247--257 , LNCS , vol. 356 , Springer-Verlag , 1987 .]] P. Gianni and T. Mora, Algebraic Solution of Systems of Polynomial Equations Using Gr\u00f6bnert bases, 247--257, LNCS, vol. 356, Springer-Verlag, 1987.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/646658.700423"},{"volume-title":"by B. Buchberger, et al), 173--187","year":"1982","author":"Loos R.","key":"e_1_3_2_1_11_1","unstructured":"R. Loos , Computing in Algebraic Extensions , in Computer Algebra (Ed. by B. Buchberger, et al), 173--187 , Springer-Verlag , New York , 1982 .]] R. Loos, Computing in Algebraic Extensions, in Computer Algebra (Ed. by B. Buchberger, et al), 173--187, Springer-Verlag, New York, 1982.]]"},{"key":"e_1_3_2_1_12_1","first-page":"139","volume-title":"Proc. of ISSAC-88","author":"Kobayashi H.","year":"1988","unstructured":"H. Kobayashi , S. Moritsugu and R.W. Hogan , Solving Systems of Algebraic Equations , Proc. of ISSAC-88 , pp. 139 -- 149 , LNCS No. 358, Springer-Verlag , 1988 .]] H. Kobayashi, S. Moritsugu and R.W. Hogan, Solving Systems of Algebraic Equations, Proc. of ISSAC-88, pp.139--149, LNCS No. 358, Springer-Verlag, 1988.]]"},{"volume-title":"Differential Algebra and Algebraic Groups","year":"1973","author":"Kolchin E.","key":"e_1_3_2_1_13_1","unstructured":"E. Kolchin , Differential Algebra and Algebraic Groups , Academic Press , New York , 1973 .]] E. Kolchin, Differential Algebra and Algebraic Groups, Academic Press, New York, 1973.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860897"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"J.F. Ritt Differential Algebra Amer. Math. Soc. Colloquium 1950.]] J.F. Ritt Differential Algebra Amer. Math. Soc. Colloquium 1950.]]","DOI":"10.1090\/coll\/033"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.2307\/2371147"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/800205.806338"},{"volume-title":"A Method for Multivariate Polynomial Factorization over Successive Algebraic Extension Fields, Mathematics and Mathematics Mechanization, 138--172","year":"2001","author":"Wang D.","key":"e_1_3_2_1_18_1","unstructured":"D. Wang and D. Lin , A Method for Multivariate Polynomial Factorization over Successive Algebraic Extension Fields, Mathematics and Mathematics Mechanization, 138--172 , 2001 .]] D. Wang and D. Lin, A Method for Multivariate Polynomial Factorization over Successive Algebraic Extension Fields, Mathematics and Mathematics Mechanization, 138--172, 2001.]]"},{"volume-title":"Preprints","year":"1996","author":"van der Hoeven J.","key":"e_1_3_2_1_19_1","unstructured":"J. van der Hoeven , Differential and Mixed Differential-difference Equations from the Effetive Viewpoint , Preprints , 1996 .]] J. van der Hoeven, Differential and Mixed Differential-difference Equations from the Effetive Viewpoint, Preprints, 1996.]]"},{"volume-title":"Basic Principle of Mechanical Theorem Proving in Geometries","year":"1984","author":"Wu W.T.","key":"e_1_3_2_1_20_1","unstructured":"W.T. Wu , Basic Principle of Mechanical Theorem Proving in Geometries , Science Press, Beijing , 1984 ; Springer , Wien, 1994.]] W.T. Wu, Basic Principle of Mechanical Theorem Proving in Geometries, Science Press, Beijing, 1984; Springer, Wien, 1994.]]"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(89)80061-6"}],"event":{"name":"ISSAC06: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Genoa Italy","acronym":"ISSAC06"},"container-title":["Proceedings of the 2006 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1145768.1145790","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T16:56:47Z","timestamp":1673369807000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1145768.1145790"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,9]]},"references-count":21,"alternative-id":["10.1145\/1145768.1145790","10.1145\/1145768"],"URL":"https:\/\/doi.org\/10.1145\/1145768.1145790","relation":{},"subject":[],"published":{"date-parts":[[2006,7,9]]},"assertion":[{"value":"2006-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}