{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T12:31:50Z","timestamp":1770294710315,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":37,"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:\/\/linproxy.fan.workers.dev:443\/https\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["852769"],"award-info":[{"award-number":["852769"]}],"id":[{"id":"10.13039\/501100000781","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.3536172","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T13:16:01Z","timestamp":1657026961000},"page":"129-138","update-policy":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices"],"prefix":"10.1145","author":[{"given":"Klara","family":"Nosan","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, Paris, France"}]},{"given":"Amaury","family":"Pouly","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF & University of Oxford, Paris, France"}]},{"given":"Sylvain","family":"Schmitz","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF & Institut Universitaire de France, Paris, France"}]},{"given":"Mahsa","family":"Shirmohammadi","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, Paris, France"}]},{"given":"James","family":"Worrell","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"E. Amzallag A. Minchenko and G. Pogudin. 2021. Degree bound for toric envelope of a linear algebraic group. arXiv:1809.06489 [math.AG]  E. Amzallag A. Minchenko and G. Pogudin. 2021. Degree bound for toric envelope of a linear algebraic group. arXiv:1809.06489 [math.AG]","DOI":"10.1090\/mcom\/3695"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-04-00451-5"},{"key":"e_1_3_2_1_4_1","volume-title":"Gr\u00f6bner Bases. Graduate Texts in Mathematics","volume":"141","author":"Becker T.","unstructured":"T. Becker and V. Weispfenning . 1993 . Gr\u00f6bner Bases. Graduate Texts in Mathematics , Vol. 141 . Springer. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978--1--4612-0913--3 10.1007\/978--1--4612-0913--3 T. Becker and V. Weispfenning. 1993. Gr\u00f6bner Bases. Graduate Texts in Mathematics, Vol. 141. Springer. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978--1--4612-0913--3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-003-1061-2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703425861"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/009\/0204532"},{"key":"e_1_3_2_1_8_1","first-page":"311","article-title":"Invariant generation","volume":"12","author":"Bradley A. R.","year":"2007","unstructured":"A. R. Bradley and Z. Manna . 2007 . Invariant generation . Springer, Chapter 12 , 311 -- 346 . https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978--3--540--74113--8_12 10.1007\/978--3--540--74113--8_12 A. R. Bradley and Z. Manna. 2007. Invariant generation. Springer, Chapter 12, 311--346. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978--3--540--74113--8_12","journal-title":"Springer, Chapter"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. ICALP 2020 (LIPIcs","volume":"13","author":"Bumpus G.","year":"2020","unstructured":"G. Bumpus , C. Haase , S. Kiefer , P.-I. Stoienescu , and J. Tanner . 2020. On the size of finite rational matrix semigroups . In Proc. ICALP 2020 (LIPIcs , Vol. 168). 115:1--115: 13 . https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.4230\/LIPIcs.ICALP. 2020 .115 10.4230\/LIPIcs.ICALP.2020.115 G. Bumpus, C. Haase, S. Kiefer, P.-I. Stoienescu, and J. Tanner. 2020. On the size of finite rational matrix semigroups. In Proc. ICALP 2020 (LIPIcs, Vol. 168). 115:1--115:13. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.4230\/LIPIcs.ICALP.2020.115"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794276853"},{"key":"e_1_3_2_1_11_1","volume-title":"Computation with Linear Algebraic Groups","author":"de Graaf W. A.","unstructured":"W. A. de Graaf . 2017. Computation with Linear Algebraic Groups . CRC Press . W. A. de Graaf. 2017. Computation with Linear Algebraic Groups. CRC Press."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.11.008"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1137\/0219053"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2015.01.001"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-97-04283-4"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01188747"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/420\/07974"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.4064\/bc58-0-9"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. LICS 2018","author":"Hrushovski E.","year":"2091","unstructured":"E. Hrushovski , J. Ouaknine , A. Pouly , and J. Worrell . 2018. Polynomial invariants for affine programs . In Proc. LICS 2018 . ACM, 530--539. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1145\/3 2091 08.3209142 10.1145\/3209108.3209142 E. Hrushovski, J. Ouaknine, A. Pouly, and J. Worrell. 2018. Polynomial invariants for affine programs. In Proc. LICS 2018. ACM, 530--539. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1145\/3209108.3209142"},{"key":"e_1_3_2_1_20_1","volume-title":"Linear Algebraic Groups. Graduate Texts in Mathematics","author":"Humphreys J. E.","unstructured":"J. E. Humphreys . 1975. Linear Algebraic Groups. Graduate Texts in Mathematics , Vol. 21 . Springer . https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978--1--4684--9443--3 10.1007\/978--1--4684--9443--3 J. E. Humphreys. 1975. Linear Algebraic Groups. Graduate Texts in Mathematics, Vol. 21. Springer. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978--1--4684--9443--3"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268497"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.2002.11919850"},{"key":"e_1_3_2_1_23_1","volume-title":"The Theory of Matrices. Ergebnisse der Mathematik und Ihrer Grenzgebiete","author":"MacDuffee C. C.","unstructured":"C. C. MacDuffee . 1933. The Theory of Matrices. Ergebnisse der Mathematik und Ihrer Grenzgebiete , Vol. 5 . Springer . https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978--3--642--99234--6 10.1007\/978--3--642--99234--6 C. C. MacDuffee. 1933. The Theory of Matrices. Ergebnisse der Mathematik und Ihrer Grenzgebiete, Vol. 5. Springer. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978--3--642--99234--6"},{"key":"e_1_3_2_1_24_1","volume-title":"New Advances in Transcendence Theory","author":"Masser D. W.","year":"1897","unstructured":"D. W. Masser . 1988. Linear relations on algebraic groups . In New Advances in Transcendence Theory . Cambridge University Press , 248--262. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1017\/CBO978051 1897 184.016 10.1017\/CBO9780511897184.016 D. W. Masser. 1988. Linear relations on algebraic groups. In New Advances in Transcendence Theory. Cambridge University Press, 248--262. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1017\/CBO9780511897184.016"},{"issue":"112","key":"e_1_3_2_1_25_1","first-page":"241","article-title":"The occurrence problem for direct products of groups","volume":"70","author":"Mikhailova K. A.","year":"1966","unstructured":"K. A. Mikhailova . 1966 . The occurrence problem for direct products of groups . Mat. Sb. (N.S.) 70 ( 112 ), 2 (1966), 241 -- 251 . https:\/\/linproxy.fan.workers.dev:443\/http\/mi.mathnet.ru\/eng\/msb4223 K. A. Mikhailova. 1966. The occurrence problem for direct products of groups. Mat. Sb. (N.S.) 70(112), 2 (1966), 241--251. https:\/\/linproxy.fan.workers.dev:443\/http\/mi.mathnet.ru\/eng\/msb4223","journal-title":"Mat. Sb. (N.S.)"},{"key":"e_1_3_2_1_26_1","volume-title":"On Group-Theoretic Decision Problems and Their Classification. Annals of Mathematics Studies","author":"Miller C. F.","unstructured":"C. F. Miller . 1972. On Group-Theoretic Decision Problems and Their Classification. Annals of Mathematics Studies , Vol. 68 . Princeton University Press . https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1515\/9781400881789 10.1515\/9781400881789 C. F. Miller. 1972. On Group-Theoretic Decision Problems and Their Classification. Annals of Mathematics Studies, Vol. 68. Princeton University Press. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1515\/9781400881789"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.7146\/math.scand.a-12421"},{"key":"e_1_3_2_1_28_1","unstructured":"D. W. Morris. 2001. Introduction to Arithmetic Groups. arXiv:math\/0106063 [math.DG]  D. W. Morris. 2001. Introduction to Arithmetic Groups. arXiv:math\/0106063 [math.DG]"},{"key":"e_1_3_2_1_29_1","volume-title":"Proc. ICALP 2004 (Lect. Notes Comput. Sci.","volume":"1028","author":"M\u00fcller-Olm M.","unstructured":"M. M\u00fcller-Olm and H. Seidl . 2004. A note on Karr's Algorithm . In Proc. ICALP 2004 (Lect. Notes Comput. Sci. , Vol. 3142). Springer, 1016-- 1028 . https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978--3--540--27836--8_85 10.1007\/978--3--540--27836--8_85 M. M\u00fcller-Olm and H. Seidl. 2004. A note on Karr's Algorithm. In Proc. ICALP 2004 (Lect. Notes Comput. Sci., Vol. 3142). Springer, 1016--1028. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978--3--540--27836--8_85"},{"key":"e_1_3_2_1_30_1","volume-title":"Integral Matrices. Pure and Applied Mathematics","author":"Newman M.","unstructured":"M. Newman . 1972. Integral Matrices. Pure and Applied Mathematics , Vol. 45 . Academic Press . M. Newman. 1972. Integral Matrices. Pure and Applied Mathematics, Vol. 45. Academic Press."},{"key":"e_1_3_2_1_31_1","unstructured":"K. Nosan. 2020. On the complexity of computing the algebraic closure of a finitely generated matrix semigroup. Internship Report. \u00c9cole Polytechnique. https:\/\/linproxy.fan.workers.dev:443\/https\/www.irif.fr\/~nosan\/Reports\/M1report.pdf  K. Nosan. 2020. On the complexity of computing the algebraic closure of a finitely generated matrix semigroup. Internship Report. \u00c9cole Polytechnique. https:\/\/linproxy.fan.workers.dev:443\/https\/www.irif.fr\/~nosan\/Reports\/M1report.pdf"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5802\/aif.1683"},{"key":"e_1_3_2_1_33_1","volume-title":"Introduction to Probabilistic Automata","author":"Paz A.","unstructured":"A. Paz . 1971. Introduction to Probabilistic Automata . Academic Press, Inc. A. Paz. 1971. Introduction to Probabilistic Automata. Academic Press, Inc."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(10)80003-3"},{"key":"e_1_3_2_1_35_1","first-page":"305","article-title":"Constructive proof of Hilbert's Theorem on ascending chains","volume":"174","author":"Seidenberg A.","year":"1972","unstructured":"A. Seidenberg . 1972 . Constructive proof of Hilbert's Theorem on ascending chains . Trans. Amer. Math. Soc. 174 (1972), 305 -- 312 . https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1090\/S0002--9947--1972-0314829--9 10.1090\/S0002--9947--1972-0314829--9 A. Seidenberg. 1972. Constructive proof of Hilbert's Theorem on ascending chains. Trans. Amer. Math. Soc. 174 (1972), 305--312. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1090\/S0002--9947--1972-0314829--9","journal-title":"Trans. Amer. Math. Soc."},{"key":"e_1_3_2_1_36_1","volume-title":"Permutation Group Algorithms","unstructured":"\u00c1. Seress. 2003. Permutation Group Algorithms . Cambridge Tracts in Mathematics, Vol. 152 . Cambridge University Press . https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1017\/CBO9780511546549 10.1017\/CBO9780511546549 \u00c1. Seress. 2003. Permutation Group Algorithms. Cambridge Tracts in Mathematics, Vol. 152. Cambridge University Press. https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1017\/CBO9780511546549"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1080\/00927872.2019.1567750"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.81.16.5278"}],"event":{"name":"ISSAC '22: International Symposium on Symbolic and Algebraic Computation","location":"Villeneuve-d'Ascq France","acronym":"ISSAC '22","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/3476446.3536172","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/dl.acm.org\/doi\/pdf\/10.1145\/3476446.3536172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:19Z","timestamp":1750268959000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/3476446.3536172"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,4]]},"references-count":37,"alternative-id":["10.1145\/3476446.3536172","10.1145\/3476446"],"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1145\/3476446.3536172","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"}}]}}