{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:37Z","timestamp":1750220257289,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T00:00:00Z","timestamp":1656892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2020YFA0712300"],"award-info":[{"award-number":["2020YFA0712300"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["12171469"],"award-info":[{"award-number":["12171469"]}],"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":[[2022,7,4]]},"DOI":"10.1145\/3476446.3535496","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T13:16:01Z","timestamp":1657026961000},"page":"217-224","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Rational Univariate Representation of Zero-Dimensional Ideals with Parameters"],"prefix":"10.1145","author":[{"given":"Dingkang","family":"Wang","sequence":"first","affiliation":[{"name":"KLMM, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingjing","family":"Wei","sequence":"additional","affiliation":[{"name":"Beijing ETown Academy, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fanghui","family":"Xiao","sequence":"additional","affiliation":[{"name":"Hunan Normal University, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaopeng","family":"Zheng","sequence":"additional","affiliation":[{"name":"KLMM, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-6303-2_2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"T. Becker and V. Weispfenning. 1993. Gr\u00f6bner Bases. Springer-Verlag.  T. Becker and V. Weispfenning. 1993. Gr\u00f6bner Bases. Springer-Verlag.","DOI":"10.1007\/978-1-4612-0913-3"},{"volume-title":"Using Algebraic Geometry","author":"Cox D.","key":"e_1_3_2_1_3_1","unstructured":"D. Cox , J. Little , and D. O'shea . 2005. Using Algebraic Geometry . Springer . D. Cox, J. Little, and D. O'shea. 2005. Using Algebraic Geometry. Springer."},{"volume-title":"Using algebraic geometry","author":"Cox David A","key":"e_1_3_2_1_4_1","unstructured":"David A Cox , John Little , and Donal O'shea . 2006. Using algebraic geometry . Vol. 185 . Springer Science & Business Media . David A Cox, John Little, and Donal O'shea. 2006. Using algebraic geometry. Vol. 185. Springer Science & Business Media."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0113"},{"volume-title":"Proceedings of the 2018 International Symposium on Symbolic and Algebraic Computation. 239--246","author":"Kapur D.","key":"e_1_3_2_1_6_1","unstructured":"D. Kapur , D. Lu , M. Monagan , Y. Sun , and D.K. Wang . 2018. An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD . In Proceedings of the 2018 International Symposium on Symbolic and Algebraic Computation. 239--246 . D. Kapur, D. Lu, M. Monagan, Y. Sun, and D.K. Wang. 2018. An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD. In Proceedings of the 2018 International Symposium on Symbolic and Algebraic Computation. 239--246."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.015"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11425-012-4404-0"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"X.D. Ma Y. Sun D.K. Wang and Y.S. Xue. 2017. On Checking Linear Dependence of Parametric Vectors. In Intelligent Computing Theories and Application. 188--196.  X.D. Ma Y. Sun D.K. Wang and Y.S. Xue. 2017. On Checking Linear Dependence of Parametric Vectors. In Intelligent Computing Theories and Application. 188--196.","DOI":"10.1007\/978-3-319-63312-1_17"},{"volume-title":"Algorithmic algebra","author":"Mishra Bhubaneswar","key":"e_1_3_2_1_10_1","unstructured":"Bhubaneswar Mishra . 1993. Algorithmic algebra . Springer-Verlag , New York . Bhubaneswar Mishra. 1993. Algorithmic algebra .Springer-Verlag, New York."},{"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","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277589"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3087604.3087621"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0275"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.02.002"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002000050114"},{"volume-title":"Proceedings of the 2018 International Symposium on Symbolic and Algebraic Computation. 351--358","author":"Din M. Safey El","key":"e_1_3_2_1_17_1","unstructured":"M. Safey El Din , Z.H. Yang , and L.H. Zhi . 2018. On the complexity of computing real radicals of polynomial systems . In Proceedings of the 2018 International Symposium on Symbolic and Algebraic Computation. 351--358 . M. Safey El Din, Z.H. Yang, and L.H. Zhi. 2018. On the complexity of computing real radicals of polynomial systems. In Proceedings of the 2018 International Symposium on Symbolic and Algebraic Computation. 351--358."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-002-0109-x"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-017-6324-0"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/242961.242966"},{"volume-title":"Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation. 326--331","author":"Suzuki A.","key":"e_1_3_2_1_21_1","unstructured":"A. Suzuki and Y. Sato . 2006. A simple algorithm to compute comprehensive Gr\u00f6bner bases using Gr\u00f6bner bases . In Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation. 326--331 . A. Suzuki and Y. Sato. 2006. A simple algorithm to compute comprehensive Gr\u00f6bner bases using Gr\u00f6bner bases. In Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation. 326--331."},{"key":"e_1_3_2_1_23_1","first-page":"174","article-title":"Separating element computation for the rational univariate representation with short coefficients in zero-dimensional algebraic varieties","volume":"47","author":"Tan C.","year":"2009","unstructured":"C. Tan and S.C. Zhang . 2009 . Separating element computation for the rational univariate representation with short coefficients in zero-dimensional algebraic varieties . Journal of Jilin University (Science Edition) , Vol. 47 (2009), 174 -- 178 . C. Tan and S.C. Zhang. 2009. Separating element computation for the rational univariate representation with short coefficients in zero-dimensional algebraic varieties. Journal of Jilin University (Science Edition), Vol. 47 (2009), 174--178.","journal-title":"Journal of Jilin University (Science Edition)"},{"key":"e_1_3_2_1_24_1","first-page":"119","article-title":"Computation of the rational representation for solutions of high-dimensional systems","volume":"26","author":"Tan C.","year":"2010","unstructured":"C. Tan and S.G. Zhang . 2010 . Computation of the rational representation for solutions of high-dimensional systems . Communications in Mathematical Research , Vol. 26 , 2 (2010), 119 -- 130 . C. Tan and S.G. Zhang. 2010. Computation of the rational representation for solutions of high-dimensional systems. Communications in Mathematical Research, Vol. 26, 2 (2010), 119--130.","journal-title":"Communications in Mathematical Research"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0747-7171(92)90023-W"},{"key":"e_1_3_2_1_26_1","unstructured":"W.T. Wu. 1984. Basic Principles of Mechanical Theorem Proving in Geometries (in Chinese) Vol. I:Part of Elementary Geometries .Science Press.  W.T. Wu. 1984. Basic Principles of Mechanical Theorem Proving in Geometries (in Chinese) Vol. I:Part of Elementary Geometries .Science Press."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-020-9316-4"},{"key":"e_1_3_2_1_28_1","first-page":"999","article-title":"Computing the rational univariate representations for zero-dimensional systems by Wu's method","volume":"40","author":"Zeng G.X.","year":"2010","unstructured":"G.X. Zeng and S.J. Xiao . 2010 . Computing the rational univariate representations for zero-dimensional systems by Wu's method . Science China Mathematics(Chinese) , Vol. 40 , 10 (2010), 999 -- 1016 . G.X. Zeng and S.J. Xiao. 2010. Computing the rational univariate representations for zero-dimensional systems by Wu's method. Science China Mathematics(Chinese), Vol. 40, 10 (2010), 999--1016.","journal-title":"Science China Mathematics(Chinese)"}],"event":{"name":"ISSAC '22: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Villeneuve-d'Ascq France","acronym":"ISSAC '22"},"container-title":["Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535496","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3476446.3535496","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:47Z","timestamp":1750188647000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535496"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,4]]},"references-count":27,"alternative-id":["10.1145\/3476446.3535496","10.1145\/3476446"],"URL":"https:\/\/doi.org\/10.1145\/3476446.3535496","relation":{},"subject":[],"published":{"date-parts":[[2022,7,4]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}