{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T07:52:15Z","timestamp":1776844335487,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,7,22]],"date-time":"2012-07-22T00:00:00Z","timestamp":1342915200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["10971217, 60970152, 61121062"],"award-info":[{"award-number":["10971217, 60970152, 61121062"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NKBRPC","award":["2011CB302400"],"award-info":[{"award-number":["2011CB302400"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,7,22]]},"DOI":"10.1145\/2442829.2442879","type":"proceedings-article","created":{"date-parts":[[2013,2,22]],"date-time":"2013-02-22T19:25:33Z","timestamp":1361561133000},"page":"351-358","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["A signature-based algorithm for computing Gr\u00f6bner bases in solvable polynomial algebras"],"prefix":"10.1145","author":[{"given":"Yao","family":"Sun","sequence":"first","affiliation":[{"name":"KLMM, Academy of Mathematics and Systems Science, CAS, Beijing, China and SKLOIS, Institute of Information Engineering, CAS, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dingkang","family":"Wang","sequence":"additional","affiliation":[{"name":"KLMM, Academy of Mathematics and Systems Science, CAS, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaodong","family":"Ma","sequence":"additional","affiliation":[{"name":"KLMM, Academy of Mathematics and Systems Science, CAS, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Manitoba, Winnipeg, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,7,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/003"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.05.004"},{"key":"e_1_3_2_1_3_1","unstructured":"B. Buchberger. Ein Algorithmus zum auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. PhD thesis 1965.  B. Buchberger. Ein Algorithmus zum auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. PhD thesis 1965."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/646670.699008"},{"key":"e_1_3_2_1_5_1","volume-title":"Kluwer","author":"Bueso J. L.","year":"2003"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1998.0207"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1756169.1756206"},{"key":"e_1_3_2_1_8_1","unstructured":"D. Cox J. Little and D. O'Shea. Using algebraic geometry. Springer second edition 2005.  D. Cox J. Little and D. O'Shea. Using algebraic geometry. Springer second edition 2005."},{"key":"e_1_3_2_1_9_1","unstructured":"W. Decker G.-M. Greuel G. Pfister H. Sch\u00f6nemann. Singular 3-1-4 --- A computer algebra system for polynomial computations. http:\/\/www.singular.uni-kl.de 2012.  W. Decker G.-M. Greuel G. Pfister H. Sch\u00f6nemann. Singular 3-1-4 --- A computer algebra system for polynomial computations. http:\/\/www.singular.uni-kl.de 2012."},{"key":"e_1_3_2_1_10_1","volume-title":"Weinmann. MutantXL. In Proc. SCC'08","author":"Ding J.","year":"2008"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.06.019"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2016567.2016574"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993906"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(99)00005-5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780516"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15984-3_301"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837944"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. CASC'02","author":"Giesbrecht M.","year":"2002"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/32439.32482"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/120694.120701"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.06.013"},{"key":"e_1_3_2_1_23_1","unstructured":"L. Huang. A new conception for computing Gr\u00f6bner basis and its applications. ArXiv:1012.5425 2010.  L. Huang. A new conception for computing Gr\u00f6bner basis and its applications. ArXiv:1012.5425 2010."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565847.021"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80003-X"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646657.700393"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860895"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11425-011-4176-y"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/646022.676223"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/143242.143343"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90283-6"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-011-0218-3"},{"key":"e_1_3_2_1_33_1","volume-title":"China Math.","author":"Sun Y.","year":"2010"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993936"},{"key":"e_1_3_2_1_35_1","unstructured":"Y. Sun and D. K. Wang. Solving detachability problem for the polynomial ring by signature-based Gr\u00f6bner basis algorithms. ArXiv:1108.1301 2011.  Y. Sun and D. K. Wang. Solving detachability problem for the polynomial ring by signature-based Gr\u00f6bner basis algorithms. ArXiv:1108.1301 2011."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-007-0015-5"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768810020040"}],"event":{"name":"ISSAC'12: International Symposium on Symbolic and Algebraic Computation","location":"Grenoble France","acronym":"ISSAC'12","sponsor":["Grenoble University Grenoble University","INRIA Institut Natl de Recherche en Info et en Automatique","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442829.2442879","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2442829.2442879","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:40Z","timestamp":1750234720000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442829.2442879"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,22]]},"references-count":36,"alternative-id":["10.1145\/2442829.2442879","10.1145\/2442829"],"URL":"https:\/\/doi.org\/10.1145\/2442829.2442879","relation":{},"subject":[],"published":{"date-parts":[[2012,7,22]]},"assertion":[{"value":"2012-07-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}