{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T02:11:24Z","timestamp":1775095884686,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,20]],"date-time":"2020-07-20T00:00:00Z","timestamp":1595203200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Chinese Academy of Sciences Key Project","award":["QYZDJ-SSW-SYS022"],"award-info":[{"award-number":["QYZDJ-SSW-SYS022"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,20]]},"DOI":"10.1145\/3373207.3404019","type":"proceedings-article","created":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T14:07:23Z","timestamp":1595858843000},"page":"442-449","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["An extended GCD algorithm for parametric univariate polynomials and application to parametric smith normal form"],"prefix":"10.1145","author":[{"given":"Dingkang","family":"Wang","sequence":"first","affiliation":[{"name":"University of Chinese Academy of Sciences, Beijing, China"}]},{"given":"Hesong","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Chinese Academy of Sciences, Beijing, China"}]},{"given":"Fanghui","family":"Xiao","sequence":"additional","affiliation":[{"name":"University of Chinese Academy of Sciences, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2020,7,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 1993 ACM International Symposium on Symbolic and Algebraic Computation. 152--156","author":"Abramov S.A."},{"key":"e_1_3_2_1_2_1","first-page":"173","article-title":"Complexity of algorithms for computing greatest common divisors of parametric univariate polynomials","volume":"4","author":"Ayad A.","year":"2010","journal-title":"International Journal of Algebra"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.043"},{"key":"e_1_3_2_1_4_1","volume-title":"Matrices in control theory. Van Norstrand Reinhold","author":"Bamett S.","year":"1971"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of ISSAC'","author":"Beckermann B.","year":"1999"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-1971-0301909-X"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1984.5009358"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/321662.321664"},{"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","volume-title":"Mechanical geometry theorem proving","author":"Chou S.C."},{"key":"e_1_3_2_1_11_1","volume-title":"International Conference on Mathematical Aspects of Computer and Information Sciences. 179--194","author":"Corless R.M."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","volume-title":"Using algebraic geometry","author":"Cox D.","DOI":"10.1007\/978-1-4757-6911-1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8396(98)00014-4"},{"key":"e_1_3_2_1_14_1","unstructured":"F. R. Gantmakher. 1959. The theory of matrices. American Mathematical Soc.  F. R. Gantmakher. 1959. The theory of matrices. American Mathematical Soc."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"K. Geddes S. Czapor and G. Labahn. 1992. Algorithms for computer algebra. Springer Science and Business Media.  K. Geddes S. Czapor and G. Labahn. 1992. Algorithms for computer algebra. Springer Science and Business Media.","DOI":"10.1007\/b102438"},{"key":"e_1_3_2_1_16_1","volume-title":"European Conference on Computer Algebra. Springer, 409--410","author":"Gianni P."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009906513972"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0113"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 2018 International Symposium on Symbolic and Algebraic Computation. 239--246","author":"Kapur D."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of ISSAC'","author":"Kapur D.","year":"2010"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.015"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0504"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the ACM annual conference. ACM, 159--166","author":"Moses J."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1358190.1358198"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277589"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13160-010-0003-z"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3087604.3087621"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2730-7"},{"key":"e_1_3_2_1_29_1","volume-title":"I: Smith form and common divisor of polynomial matrices. Internat.j.systems Sci","author":"Pace I.S.","year":"1974"},{"key":"e_1_3_2_1_30_1","unstructured":"H.H. Rosenbrock. 1970. State-space and multivariable theory. (1970).  H.H. Rosenbrock. 1970. State-space and multivariable theory. (1970)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80105-8"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0747-7171(92)90003-M"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/258726.258762"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(03)00098-1"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 2006 ACM International Symposium on Symbolic and Algebraic Computation. 326--331","author":"Suzuki A."},{"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.1007\/3-540-09519-5_73"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","volume-title":"Effective Polynomial Computation","author":"Zippel R.","DOI":"10.1007\/978-1-4615-3188-3"}],"event":{"name":"ISSAC '20: International Symposium on Symbolic and Algebraic Computation","location":"Kalamata Greece","acronym":"ISSAC '20","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404019","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373207.3404019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:46Z","timestamp":1750203886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,20]]},"references-count":38,"alternative-id":["10.1145\/3373207.3404019","10.1145\/3373207"],"URL":"https:\/\/doi.org\/10.1145\/3373207.3404019","relation":{},"subject":[],"published":{"date-parts":[[2020,7,20]]},"assertion":[{"value":"2020-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}