{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T17:13:31Z","timestamp":1783617211821,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,12]],"date-time":"2026-07-12T00:00:00Z","timestamp":1783814400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"National Key R&D Program of China","award":["2023YFA1009401"],"award-info":[{"award-number":["2023YFA1009401"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,13]]},"DOI":"10.1145\/3815436.3815468","type":"proceedings-article","created":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T16:11:51Z","timestamp":1783613511000},"page":"142-151","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["An Algorithm for Diagonalizing Matrices of Formal Power Series"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-3789-6320","authenticated-orcid":false,"given":"Zihao","family":"Dai","sequence":"first","affiliation":[{"name":"State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3284-1823","authenticated-orcid":false,"given":"Hao","family":"Liang","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3125-3539","authenticated-orcid":false,"given":"Jingyu","family":"Lu","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9973-2217","authenticated-orcid":false,"given":"Lihong","family":"Zhi","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,12]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","unstructured":"Artin Michael. 1969. Algebraic Approximation of Structures over Complete Local Rings. Publications Math\u00e9matiques de l\u2019Institut des Hautes Scientifiques 36 (1969) 23\u201358. 10.1007\/BF02684596","DOI":"10.1007\/BF02684596"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0913-3"},{"key":"e_1_3_3_1_4_2","volume-title":"\u00c9l\u00e9ments de math\u00e9matique: Alg\u00e8bre: Chapitre IV, Polyn\u00f4mes et fractions rationnelles","author":"Nicolas Bourbaki,","year":"1981","unstructured":"Bourbaki, Nicolas. 1981. \u00c9l\u00e9ments de math\u00e9matique: Alg\u00e8bre: Chapitre IV, Polyn\u00f4mes et fractions rationnelles. Masson, Paris, FR."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Dieudonn\u00e9 Jean and Grothendieck Alexander. 1967. \u00c9l\u00e9ments de g\u00e9om\u00e9trie alg\u00e9brique IV. \u00c9tude locale des sch\u00e9mas et des morphismes de sch\u00e9mas Quatri\u00e8me partie. Publications Math\u00e9matiques de l\u2019I.H.\u00c9.S. 32 (1967) 5\u2013361. https:\/\/www.numdam.org\/item\/PMIHES_1967__32__5_0\/","DOI":"10.1007\/BF02732123"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Torsten Ekedahl and Dan Laksov. 2005. Splitting Algebras Symmetric Functions and Galois Theory. Journal of Algebra and Its Applications 4 1 (2005) 59\u201375. 10.1142\/S0219498805001034","DOI":"10.1142\/S0219498805001034"},{"key":"e_1_3_3_1_7_2","volume-title":"A Singular introduction to commutative algebra (extended ed.)","author":"Greuel Gert-Martin","year":"2008","unstructured":"Gert-Martin Greuel and Gerhard Pfister. 2008. A Singular introduction to commutative algebra (extended ed.). Springer, Berlin. xx+689 pages. With contributions by Olaf Bachmann, Christoph Lossen and Hans Sch\u00f6nemann, With 1 CD-ROM (Windows, Macintosh and UNIX)."},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1017\/9781316995433"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Kurt Hensel. 1904. Neue Grundlagen der Arithmetik.Journal f\u00fcr die reine und angewandte Mathematik 127 (1904) 51\u201384. http:\/\/eudml.org\/doc\/149178","DOI":"10.1515\/crll.1904.127.51"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","unstructured":"Erich Kaltofen. 1985. Polynomial-time reductions from multivariate to bi- and univariate integral polynomial factorization. SIAM J. Comput. 14 2 (1985) 469\u2013489. 10.1137\/0214035","DOI":"10.1137\/0214035"},{"key":"e_1_3_3_1_11_2","series-title":"Lecture Notes in Pure and Appl. Math.","first-page":"285","volume-title":"Computers in mathematics (Stanford, CA, 1986)","author":"Kaltofen Erich","year":"1990","unstructured":"Erich Kaltofen. 1990. Polynomial factorization 1982\u20131986. In Computers in mathematics (Stanford, CA, 1986). Lecture Notes in Pure and Appl. Math., Vol.\u00a0125. Dekker, New York, 285\u2013309."},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023837"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","unstructured":"Krzysztof Kurdyka and Laurentiu Paunescu. 2008. Hyperbolic polynomials and multiparameter real-analytic perturbation theory. Duke Math. J. 141 1 (2008) 123\u2013149. 10.1215\/S0012-7094-08-14113-4","DOI":"10.1215\/S0012-7094-08-14113-4"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","unstructured":"Dan Laksov. 2010. Splitting Algebras and Gysin Homomorphisms. Journal of Commutative Algebra 2 3 (2010) 401\u2013425. 10.1216\/JCA-2010-2-3-401","DOI":"10.1216\/JCA-2010-2-3-401"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Dan Laksov and Anders Thorup. 2012. Splitting Algebras and Schubert Calculus. Indiana University Mathematics Journal 61 3 (2012) 1253\u20131312. 10.1512\/iumj.2012.61.4791","DOI":"10.1512\/iumj.2012.61.4791"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442864"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","unstructured":"Gr\u00e9goire Lecerf. 2002. Quadratic Newton iteration for systems with multiplicity. Found. Comput. Math. 2 3 (2002) 247\u2013293. 10.1007\/s102080010026","DOI":"10.1007\/s102080010026"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","unstructured":"Arjen\u00a0K. Lenstra Hendrik\u00a0W. Lenstra Jr. and L\u00e1szl\u00f3 Lov\u00e1sz. 1982. Factoring polynomials with rational coefficients. Math. Ann. 261 4 (1982) 515\u2013534. 10.1007\/BF01457454","DOI":"10.1007\/BF01457454"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Dong Lu Dingkang Wang and Fanghui Xiao. 2023. New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices. J. Symbolic Comput. 115 (2023) 266\u2013284. 10.1016\/j.jsc.2022.07.005","DOI":"10.1016\/j.jsc.2022.07.005"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","unstructured":"Dong Lu Dingkang Wang Fanghui Xiao and Xiaopeng Zheng. 2023. Equivalence and reduction of bivariate polynomial matrices to their Smith forms. J. Symbolic Comput. 118 (2023) 1\u201316. 10.1016\/j.jsc.2023.01.001","DOI":"10.1016\/j.jsc.2023.01.001"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139171762"},{"key":"e_1_3_3_1_22_2","series-title":"Princeton Mathematical Series","volume-title":"\u00c9tale Cohomology","author":"S. Milne, James","year":"1980","unstructured":"Milne, James S.1980. \u00c9tale Cohomology. Princeton Mathematical Series, Vol.\u00a033. Princeton University Press, Princeton, New Jersey, US."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11607-9_18"},{"key":"e_1_3_3_1_24_2","series-title":"Interscience Tracts in Pure and Applied Mathematics.","volume-title":"Local Rings","author":"Masayoshi Nagata,","year":"1962","unstructured":"Nagata, Masayoshi. 1962. Local Rings. Number\u00a013 in Interscience Tracts in Pure and Applied Mathematics.Interscience Publishers, a division of John Wiley & Sons, New York \u00b7 London."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-68711-2_3"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","unstructured":"Adam Parusi\u0144ski and Guillaume Rond. 2012. The Abhyankar-Jung theorem. J. Algebra 365 (2012) 29\u201341. 10.1016\/j.jalgebra.2012.05.003","DOI":"10.1016\/j.jalgebra.2012.05.003"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","unstructured":"Adam Parusi\u0144ski and Guillaume Rond. 2020. Multiparameter perturbation theory of matrices and linear operators. Trans. Amer. Math. Soc. 373 4 (2020) 2933\u20132948. 10.1090\/tran\/8061","DOI":"10.1090\/tran\/8061"},{"key":"e_1_3_3_1_28_2","unstructured":"Victor Puiseux. 1850. Recherches sur les fonctions alg\u00e9briques. Journal de math\u00e9matiques pures et appliqu\u00e9es 15 (1850) 365\u2013480."},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0069571"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","unstructured":"Franz Rellich. 1937. St\u00f6rungstheorie der Spektralzerlegung. I. Mitteilung. Analytische St\u00f6rung der isolierten Punkteigenwerte eines beschr\u00e4nkten Operators. Math. Ann. 113 1 (1937) 600\u2013619. 10.1007\/BF01571652","DOI":"10.1007\/BF01571652"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","unstructured":"Tateaki Sasaki and Daiju Inaba. 2000. Hensel construction of F(x u1 ... ul) l \u2265 2 at a singular point and its applications. SIGSAM Bull. 34 1 (March 2000) 9\u201317. 10.1145\/373500.373502","DOI":"10.1145\/373500.373502"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","unstructured":"Tateaki Sasaki and Daiju Inaba. 2017. Enhancing the extended Hensel construction by using Gr\u00f6bner basis. ACM Commun. Comput. Algebra 51 1 (2017) 26\u201328. 10.1145\/3096730.3096737","DOI":"10.1145\/3096730.3096737"},{"key":"e_1_3_3_1_33_2","volume-title":"Basic Algebraic Geometry. 1 (third ed.)","author":"Shafarevich Igor\u00a0R.","year":"2013","unstructured":"Igor\u00a0R. Shafarevich. 2013. Basic Algebraic Geometry. 1 (third ed.). Springer, Heidelberg. Varieties in projective space."},{"key":"e_1_3_3_1_34_2","unstructured":"Anders Thorup. 2011. On the Invariants of the Splitting Algebra. arxiv:https:\/\/arXiv.org\/abs\/1105.4478\u00a0[math.AC] https:\/\/arxiv.org\/abs\/1105.4478"},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"crossref","unstructured":"Joris van\u00a0der Hoeven. 2019. Effective power series computations. Foundations of Computational Mathematics 19 3 (2019) 623\u2013651.","DOI":"10.1007\/s10208-018-9391-2"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139856065"},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"publisher","unstructured":"Hans Zassenhaus. 1969. On Hensel factorization I. Journal of Number Theory 1 3 (1969) 291\u2013311. 10.1016\/0022-314X(69)90047-X","DOI":"10.1016\/0022-314X(69)90047-X"}],"event":{"name":"ISSAC '26: 51st International Symposium on Symbolic and Algebraic Computation","location":"Oldenburg , Germany","acronym":"ISSAC '26"},"container-title":["Proceedings of the 2026 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"deposited":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T16:23:49Z","timestamp":1783614229000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3815436.3815468"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,12]]},"references-count":36,"alternative-id":["10.1145\/3815436.3815468","10.1145\/3815436"],"URL":"https:\/\/doi.org\/10.1145\/3815436.3815468","relation":{},"subject":[],"published":{"date-parts":[[2026,7,12]]},"assertion":[{"value":"2026-07-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}