{"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":1750220458676,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"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":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP18J22141"],"award-info":[{"award-number":["JP18J22141"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJPR18U9"],"award-info":[{"award-number":["JPMJPR18U9"]}],"id":[{"id":"10.13039\/501100002241","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.3465553","type":"proceedings-article","created":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T22:32:21Z","timestamp":1626215541000},"page":"321-328","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Computing Valuations of the Dieudonn\u00e9 Determinants"],"prefix":"10.1145","author":[{"given":"Taihei","family":"Oki","sequence":"first","affiliation":[{"name":"University of Tokyo, Bunkyo-ku, Tokyo, Japan"}]}],"member":"320","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2733693.2733719"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2005.10.002"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"D. Bini and V. Y. Pan. 1994. Polynomial and Matrix Computations. Birkh\u00e4user Basel.","DOI":"10.1007\/978-1-4612-0265-3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(84)90143-1"},{"key":"e_1_3_2_1_5_1","article-title":"A fundamental theorem regarding the equivalence of systems of ordinary linear differential equations, and its application to the determination of the order and the systematic solution of a determinate system of such equations","volume":"38","author":"Chrystal G.","year":"1897","unstructured":"G. Chrystal. 1897. A fundamental theorem regarding the equivalence of systems of ordinary linear differential equations, and its application to the determination of the order and the systematic solution of a determinate system of such equations. Trans. R. Soc. Edinburgh, Vol. 38, 1 ( 1897), 163--178.","journal-title":"Trans. R. Soc. Edinburgh"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1946-0016094-3"},{"volume-title":"Skew Field Constructions","author":"Cohn P. M.","key":"e_1_3_2_1_7_1","unstructured":"P. M. Cohn. 1977. Skew Field Constructions. Cambridge University Press, Cambridge."},{"volume-title":"Further Algebra and Applications","author":"Cohn P. M.","key":"e_1_3_2_1_8_1","unstructured":"P. M. Cohn. 2003. Further Algebra and Applications. Springer, London."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.24033\/bsmf.1345"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90382-P"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(67)90059-2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2012.11.033"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"K. R. Goodearl and R. B. Warfield Jr. 2004. An Introduction to Noncommutative Noetherian Rings second ed.). Cambridge University Press Cambridge.","DOI":"10.1017\/CBO9780511841699"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1137\/0202019"},{"volume-title":"Proc. of ISSAC '17","author":"Khochtali M.","key":"e_1_3_2_1_15_1","unstructured":"M. Khochtali, J. Rosenkilde, and A. Storjohann. 2017. Popov form computation for matrices of Ore polynomials. In Proc. of ISSAC '17. ACM Press, New York, 253--260."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/nav.3800020109"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.10.009"},{"key":"e_1_3_2_1_18_1","first-page":"183","article-title":"Discrete Legendre duality in polynomial matrices (in Japanese)","volume":"23","author":"Moriyama S.","year":"2013","unstructured":"S. Moriyama and K. Murota. 2013. Discrete Legendre duality in polynomial matrices (in Japanese). Trans. JSIAM, Vol. 23, 2 (2013), 183--202.","journal-title":"Trans. JSIAM"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(02)00139-6"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539791201897"},{"volume-title":"Discrete Convex Analysis","author":"Murota K.","key":"e_1_3_2_1_21_1","unstructured":"K. Murota. 2003. Discrete Convex Analysis. SIAM, Philadelphia."},{"volume-title":"Matrices and Matroids for Systems Analysis. Algorithms and Combinatorics","author":"Murota K.","key":"e_1_3_2_1_22_1","unstructured":"K. Murota. 2010. Matrices and Matroids for Systems Analysis. Algorithms and Combinatorics, Vol. 20. Springer, Berlin."},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. of ICALP '20 (LIPIcs","author":"Oki T.","year":"2020","unstructured":"T. Oki. 2020. On solving (non)commutative weighted Edmonds' problem. In Proc. of ICALP '20 (LIPIcs, Vol. 168),, A. Czumaj, A. Dawar, and E. Merelli (Eds.). Schloss Dagstuhl--Leibniz-Zentrum f\u00fc r Informatik, Dagstuhl."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.2307\/1968173"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219498817502218"},{"key":"e_1_3_2_1_26_1","first-page":"259","article-title":"Anneaux non commutatifs de valuation discr\u00e8 te ou finie. C. R","volume":"302","author":"Roux B.","year":"1986","unstructured":"B. Roux. 1986. Anneaux non commutatifs de valuation discr\u00e8 te ou finie. C. R. Acad. Sci., S\u00e9 rie I, Vol. 302, 9 (1986), 259--262 and 291--293.","journal-title":"Acad. Sci., S\u00e9 rie I"},{"volume-title":"Combinatorial Optimization. Algorithms and Combinatorics","author":"Schrijver A.","key":"e_1_3_2_1_27_1","unstructured":"A. Schrijver. 2003. Combinatorial Optimization. Algorithms and Combinatorics, Vol. 24. Springer, Berlin."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1385-7258(68)50022-2"},{"volume-title":"Proc. of ISSAC '05","author":"Storjohann A.","key":"e_1_3_2_1_30_1","unstructured":"A. Storjohann and G. Villard. 2005. Computing the rank and a small nullspace basis of a polynomial matrix. In Proc. of ISSAC '05. ACM Press, New York, 309--316."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219498806001600"},{"key":"e_1_3_2_1_32_1","first-page":"180","article-title":"On the determination of the Smith-Macmillan form of a rational matrix from its Laurent expansion","volume":"26","author":"Van Dooren P. M.","year":"1979","unstructured":"P. M. Van Dooren, P. Dewilde, and J. Vandewalle. 1979. On the determination of the Smith-Macmillan form of a rational matrix from its Laurent expansion. IEEE Trans. Comput., Vol. 26, 3 (1979), 180--189.","journal-title":"IEEE Trans. Comput."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1981.1102593"},{"key":"e_1_3_2_1_34_1","first-page":"65","article-title":"Anneaux de valuation discr\u00e8 te complets non commutatifs","volume":"267","author":"Vidal R.","year":"1981","unstructured":"R. Vidal. 1981. Anneaux de valuation discr\u00e8 te complets non commutatifs. Trans. Am. Math. Soc., Vol. 267, 1 (1981), 65--81.","journal-title":"Trans. Am. Math. Soc."},{"volume-title":"North-Holand Mathematics Studies","author":"Warner S.","key":"e_1_3_2_1_35_1","unstructured":"S. Warner. 1993. Topological Rings. North-Holand Mathematics Studies, Vol. 178. Elsevier, North Holland."}],"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.3465553","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452143.3465553","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452143.3465553","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.3465553"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,18]]},"references-count":34,"alternative-id":["10.1145\/3452143.3465553","10.1145\/3452143"],"URL":"https:\/\/doi.org\/10.1145\/3452143.3465553","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"}}]}}