{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:34Z","timestamp":1750307314801,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,8]],"date-time":"2011-06-08T00:00:00Z","timestamp":1307491200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,6,8]]},"DOI":"10.1145\/1993886.1993918","type":"proceedings-article","created":{"date-parts":[[2011,6,14]],"date-time":"2011-06-14T14:45:32Z","timestamp":1308062732000},"page":"193-200","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Computing comprehensive Gr\u00f6bner systems and comprehensive Gr\u00f6bner bases simultaneously"],"prefix":"10.1145","author":[{"given":"Deepak","family":"Kapur","sequence":"first","affiliation":[{"name":"University of New Mexico, Albuquerque, NM, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yao","family":"Sun","sequence":"additional","affiliation":[{"name":"Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dingkang","family":"Wang","sequence":"additional","affiliation":[{"name":"Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,6,8]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"73","article-title":"Comprehensive triangular decomposition. In Proceedings of CASC'07, Lect. Notes in Comp. Sci., Springer","volume":"4770","author":"Chen C.","year":"2007","unstructured":"C. Chen , O. Golubitsky , F. Lemaire , M. Moreno Maza , and W. Pan . Comprehensive triangular decomposition. In Proceedings of CASC'07, Lect. Notes in Comp. Sci., Springer , Berlin , vol. 4770 , 73 -- 101 , 2007 . C. Chen, O. Golubitsky, F. Lemaire, M. Moreno Maza, and W. Pan. Comprehensive triangular decomposition. In Proceedings of CASC'07, Lect. Notes in Comp. Sci., Springer, Berlin, vol. 4770, 73--101, 2007.","journal-title":"Berlin"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11615798_3"},{"key":"e_1_3_2_1_3_1","volume-title":"Usingalgebraic geometry","author":"Cox D.","year":"2005","unstructured":"D. Cox , J. Little , and D. O'Shea . Usingalgebraic geometry . Springer , New York , second edition, 2005 . D. Cox, J. Little, and D. O'Shea. Usingalgebraic geometry. Springer, New York, second edition, 2005."},{"key":"e_1_3_2_1_4_1","volume-title":"Symbolic and numerical computation for artificial intelligence. Computational Mathematics and Applications","author":"Donald B.","year":"1992","unstructured":"B. Donald , D. Kapur , and J.L. Mundy(eds.). Symbolic and numerical computation for artificial intelligence. Computational Mathematics and Applications , Academic Press Ltd ., London, 1992 . B. Donald, D. Kapur, and J.L. Mundy(eds.). Symbolic and numerical computation for artificial intelligence. Computational Mathematics and Applications, Academic Press Ltd., London, 1992."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/143242.143348"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2003.1217599"},{"key":"e_1_3_2_1_7_1","volume-title":"An approach for solving systems of parametric polynomial equations. Principles and Practice of Constraint Programming (eds. Saraswat and Van Hentenryck)","author":"Kapur D.","year":"1995","unstructured":"D. Kapur . An approach for solving systems of parametric polynomial equations. Principles and Practice of Constraint Programming (eds. Saraswat and Van Hentenryck) . MIT Press , Cambridge , 1995 . D. Kapur. An approach for solving systems of parametric polynomial equations. Principles and Practice of Constraint Programming (eds. Saraswat and Van Hentenryck). MIT Press, Cambridge, 1995."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-006-0307-x"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837946"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2005.09.013"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0504"},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proceeding of Automated Deduction in Geometry (ADG)","author":"Montes A.","year":"2006","unstructured":"A. Montes and T. Recio . Automatic discovery of geometry theorems using minimal canonical comprehensive Gr\u00f6bner systems . In Proceeding of Automated Deduction in Geometry (ADG) 2006 , Lecture Notes in Artificial Intelligence , Springer , Berlin, Heidelberg , vol. 4869 , 113--138, 2007. A. Montes and T. Recio. Automatic discovery of geometry theorems using minimal canonical comprehensive Gr\u00f6bner systems. In Proceeding of Automated Deduction in Geometry (ADG) 2006, Lecture Notes in Artificial Intelligence, Springer, Berlin, Heidelberg, vol. 4869, 113--138, 2007."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.06.017"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277589"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145821"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0747-7171(92)90023-W"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(03)00099-3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.05.001"}],"event":{"name":"ISSAC '11: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"San Jose California USA","acronym":"ISSAC '11"},"container-title":["Proceedings of the 36th international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993886.1993918","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1993886.1993918","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:05:47Z","timestamp":1750244747000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993886.1993918"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,8]]},"references-count":18,"alternative-id":["10.1145\/1993886.1993918","10.1145\/1993886"],"URL":"https:\/\/doi.org\/10.1145\/1993886.1993918","relation":{},"subject":[],"published":{"date-parts":[[2011,6,8]]},"assertion":[{"value":"2011-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}