On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices-Reference-Cited by-同舟云学术

On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices

Published:2022-07-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation
language:
Short-container-title:

Author:

Nosan Klara¹,Pouly Amaury²,Schmitz Sylvain³,Shirmohammadi Mahsa¹,Worrell James⁴

Affiliation:

1. Université Paris Cité, CNRS, IRIF, Paris, France

2. Université Paris Cité, CNRS, IRIF & University of Oxford, Paris, France

3. Université Paris Cité, CNRS, IRIF & Institut Universitaire de France, Paris, France

4. University of Oxford, Oxford, United Kingdom

Funder

European Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3476446.3536172

Reference37 articles.

1. 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]

2. Ideal membership in polynomial rings over the integers

3. T. Becker and V. Weispfenning . 1993 . Gröbner Bases. Graduate Texts in Mathematics , Vol. 141 . Springer. https://doi.org/10.1007/978--1--4612-0913--3 T. Becker and V. Weispfenning. 1993. Gröbner Bases. Graduate Texts in Mathematics, Vol. 141. Springer. https://doi.org/10.1007/978--1--4612-0913--3

4. Undecidable Problems for Probabilistic Automata of Fixed Dimension

5. Decidable and Undecidable Problems about Quantum Automata

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Strongest Algebraic Program Invariants;Journal of the ACM;2023-10-11