{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:58Z","timestamp":1750220458035,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T00:00:00Z","timestamp":1626566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Chongqing Research Programs","award":["cstc2018jcyj-yszxX0002, cstc2019yszx-jcyjX0003"],"award-info":[{"award-number":["cstc2018jcyj-yszxX0002, cstc2019yszx-jcyjX0003"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["NSFC 11771034, 11771421"],"award-info":[{"award-number":["NSFC 11771034, 11771421"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,18]]},"DOI":"10.1145\/3452143.3465536","type":"proceedings-article","created":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T22:32:21Z","timestamp":1626215541000},"page":"123-130","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Comprehensive Characteristic Decomposition of Parametric Polynomial Systems"],"prefix":"10.1145","author":[{"given":"Rina","family":"Dong","sequence":"first","affiliation":[{"name":"Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences, Chongqing, China"}]},{"given":"Dong","family":"Lu","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}]},{"given":"Chenqi","family":"Mou","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}]},{"given":"Dongming","family":"Wang","sequence":"additional","affiliation":[{"name":"Beihang University & Centre National de la Recherche Scientifique, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0269"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.043"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0913-3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.014"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of CASC","author":"Chen C.","year":"2007","unstructured":"C. Chen, O. Golubitsky, F. Lemaire, M. Moreno Maza, and W. Pan. 2007. Comprehensive triangular decomposition. In Proceedings of CASC 2007. Springer-Verlag, Berlin Heidelberg, 73--101."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.023"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52885-7_89"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"D. Cox J. Little and D. O'Shea. 1997. Ideals Varieties and Algorithms. Springer New York.","DOI":"10.1007\/978-1-4757-2693-0"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of CASC","author":"Dong R.","year":"2019","unstructured":"R. Dong and C. Mou. 2019. On characteristic decomposition and quasi-characteristic decomposition. In Proceedings of CASC 2019. Springer, 122--139."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2020.06.012"},{"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\/143242.143348"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80040-3"},{"volume-title":"Symbolic and Numerical Scientific Computation","author":"Hubert E.","key":"e_1_3_2_1_17_1","unstructured":"E. Hubert. 2003. Notes on triangular sets and triangulation-decomposition algorithms I: Polynomial systems. In Symbolic and Numerical Scientific Computation. Springer-Verlag, Berlin Heidelberg, 143--158."},{"volume-title":"Principles and Practice of Constraint Programming","author":"Kapur D.","key":"e_1_3_2_1_18_1","unstructured":"D. Kapur. 1995. An approach for solving systems of parametric polynomial equations. In Principles and Practice of Constraint Programming. MIT Press, 217--224."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of ISSAC","author":"Kapur D.","year":"2010","unstructured":"D. Kapur, Y. Sun, and D. Wang. 2010. A new algorithm for computing comprehensive Gr\u00f6bner systems. In Proceedings of ISSAC 2010. ACM Press, 29--36."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.015"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.01.007"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.07.022"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0504"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-012-0136-3"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.11.009"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277589"},{"volume-title":"Differential Equations from the Algebraic Standpoint","author":"Ritt J. F.","key":"e_1_3_2_1_27_1","unstructured":"J. F. Ritt. 1932. Differential Equations from the Algebraic Standpoint. American Mathematical Society, New York."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(03)00098-1"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of ISSAC","author":"Suzuki A.","year":"2006","unstructured":"A. Suzuki and Y. Sato. 2006. A simple algorithm to compute comprehensive Gr\u00f6bner bases using Gr\u00f6bner bases. In Proceedings of ISSAC 2006. ACM Press, 326--331."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0177"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0355"},{"volume-title":"Elimination Methods","author":"Wang D.","key":"e_1_3_2_1_32_1","unstructured":"D. Wang. 2001. Elimination Methods. Springer-Verlag, Wien."},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of A3L","author":"Wang D.","year":"2005","unstructured":"D. Wang. 2005. The projection property of regular systems and its application to solving parametric polynomial systems. In Proceedings of A3L 2005. Herstellung und Verlag, 269--274."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-016-0279-8"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3504"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/0747-7171(92)90023-W"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.05.001"},{"key":"e_1_3_2_1_38_1","first-page":"1","article-title":"On zeros of algebraic equations: An application of Ritt principle","volume":"31","author":"Wu W.-T.","year":"1986","unstructured":"W.-T. Wu. 1986. On zeros of algebraic equations: An application of Ritt principle. Kexue Tongbao, Vol. 31, 1 (1986), 1--5.","journal-title":"Kexue Tongbao"},{"volume-title":"Mechanical Theorem Proving in Geometries: Basic Principles","author":"Wu W.-T.","key":"e_1_3_2_1_39_1","unstructured":"W.-T. Wu. 1994. Mechanical Theorem Proving in Geometries: Basic Principles. Springer-Verlag, Wien. Translated from the Chinese by X. Jin and D. Wang."},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of ADG","author":"Yang L.","year":"1998","unstructured":"L. Yang, X. Hou, and B. Xia. 1998. Automated discovering and proving for geometric inequalities. In Proceedings of ADG 1998. Springer, 30--46."}],"event":{"name":"ISSAC '21: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Virtual Event Russian Federation","acronym":"ISSAC '21"},"container-title":["Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465536","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452143.3465536","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:08Z","timestamp":1750193288000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465536"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,18]]},"references-count":37,"alternative-id":["10.1145\/3452143.3465536","10.1145\/3452143"],"URL":"https:\/\/doi.org\/10.1145\/3452143.3465536","relation":{},"subject":[],"published":{"date-parts":[[2021,7,18]]},"assertion":[{"value":"2021-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}