Membership problem in GL(2, Z) extended by singular matrices

<p>We consider the membership problem for matrix semigroups, which is the problem to decide whether a matrix belongs to a given finitely generated matrix semigroup.</p> <br/> <p>In general, the decidability and complexity of this problem for two-dimensional matrix semigroups...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Potapov, I, Semukhin, P
Định dạng: Conference item
Được phát hành: Schloss Dagstuhl 2017