{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T16:09:19Z","timestamp":1769184559093,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T00:00:00Z","timestamp":1721088000000},"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":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669696","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"244-253","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Decomposition of Polynomial Ideals into Triangular Regular Sequences"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7478-275X","authenticated-orcid":false,"given":"Dongming","family":"Wang","sequence":"first","affiliation":[{"name":"LMIB-School of Artificial Intelligence, Beihang University, China and LIP6-CNRS-Sorbonne Universit\u00e9, France"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-2834-3200","authenticated-orcid":false,"given":"Linpeng","family":"Wang","sequence":"additional","affiliation":[{"name":"LMIB-School of Mathematical Sciences, Beihang University, China"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0269"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0270"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2006.04.003"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.1562"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0275-1_4"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75187-8_7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-014-2017-0"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52885-7_89"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/b138611"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16721-3"},{"key":"e_1_3_2_1_11_1","unstructured":"Xavier Dahan. 2012. On lexicographic Gr\u00f6bner bases of radical ideals in dimension zero: Interpolation and structure. (2012). arXiv:1207.3887"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59932-3"},{"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.1007\/978-1-4612-5350-1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(99)00005-5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02421-8"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the International Symposium on Symbolic and Algebraic Computation","author":"Gao Xiao-Shan","year":"1992","unstructured":"Xiao-Shan Gao and Shang-Ching Chou. 1992. Solving parametric algebraic systems. In Proceedings of the International Symposium on Symbolic and Algebraic Computation 1992. ACM, New York, 335\u2013341."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80040-3"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3849-0"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45084-X_1"},{"key":"e_1_3_2_1_21_1","unstructured":"Michael Kalkbrener. 1991. Three Contributions to Elimination Theory. Ph.D. Dissertation. Johannes Kepler University Austria."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1993.1011"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(85)80035-3"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(91)90113-B"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80086-7"},{"key":"e_1_3_2_1_26_1","unstructured":"Daniel Lazard. 2021. Degree of a polynomial ideal and B\u00e9zout inequalities. (2021). https:\/\/hal.sorbonne-universite.fr\/hal-02897419"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390798"},{"key":"e_1_3_2_1_28_1","first-page":"98","article-title":"A method to solve algebraic equations up to multiplicities via Ritt-Wu\u2019s characteristic sets","volume":"5","author":"Li Banghe","year":"2003","unstructured":"Banghe Li. 2003. A method to solve algebraic equations up to multiplicities via Ritt-Wu\u2019s characteristic sets. Acta Analysis Functionalis Applicata 5, 3 (2003), 98\u2013109.","journal-title":"Acta Analysis Functionalis Applicata"},{"key":"e_1_3_2_1_29_1","first-page":"1491","article-title":"Zero decomposition with multiplicity of zero-dimensional polynomial systems","volume":"30","author":"Li Yinglin","year":"2010","unstructured":"Yinglin Li, Bican Xia, and Zhihai Zhang. 2010. Zero decomposition with multiplicity of zero-dimensional polynomial systems. Journal of Systems Science and Mathematical Sciences 30, 11 (2010), 1491.","journal-title":"Journal of Systems Science and Mathematical Sciences"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85165-1_14"},{"key":"e_1_3_2_1_31_1","volume-title":"American Mathematical Society","author":"Ritt Joseph\u00a0Fels","unstructured":"Joseph\u00a0Fels Ritt. 1950. Differential Algebra. Vol.\u00a033. American Mathematical Society, New York. 184 pages."},{"key":"e_1_3_2_1_32_1","volume-title":"On the Minimal Number of Elements Generating an Algebraic Set. Master\u2019s thesis","author":"\u015eahin Mesut","unstructured":"Mesut \u015eahin. 2002. On the Minimal Number of Elements Generating an Algebraic Set. Master\u2019s thesis. Bilkent University, Turkey."},{"key":"e_1_3_2_1_33_1","unstructured":"Ryan Sandford. 2022. Towards a Generalization of Fulton\u2019s Intersection Multiplicity Algortihm. Ph.D. Dissertation. The University of Western Ontario Canada. https:\/\/ir.lib.uwo.ca\/etd\/8506"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(03)00095-6"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0052"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1993.1035"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0177"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6202-6"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-016-0279-8"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3504"},{"key":"e_1_3_2_1_41_1","first-page":"1","article-title":"On zeros of algebraic equations\u2014An application of Ritt principle","volume":"31","author":"Wu Wen-Ts\u00fcn","year":"1986","unstructured":"Wen-Ts\u00fcn Wu. 1986. On zeros of algebraic equations\u2014An application of Ritt principle. Kexue Tongbao 31, 1 (1986), 1\u20135.","journal-title":"Kexue Tongbao"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2023.102273"},{"key":"e_1_3_2_1_43_1","volume-title":"Artificial intelligence in mathematics","author":"Yang Lu","unstructured":"Lu Yang and Jingzhong Zhang. 1994. Searching dependency between algebraic equations: An algorithm applied to automated reasoning. In Artificial intelligence in mathematics, Jeffrey Johnson, Sean McKee, and Alfred Vella (Eds.). Oxford University Press, New York, NY, 147\u2013156."}],"event":{"name":"ISSAC '24: International Symposium on Symbolic and Algebraic Computation","location":"Raleigh NC USA","acronym":"ISSAC '24","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669696","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669696","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:53:43Z","timestamp":1758588823000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669696"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":43,"alternative-id":["10.1145\/3666000.3669696","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669696","relation":{},"subject":[],"published":{"date-parts":[[2024,7,16]]},"assertion":[{"value":"2024-07-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}