18 citations · 28 across the 25 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.CC2016★ 1 cited
Matrix Semigroup Freeness Problems in
Sang-Ki Ko, Igor Potapov
In this paper we study decidability and complexity of decision problems on matrices from the special linear group . In particular, we study the freeness…
cs.GT2016
Undecidability of Two-dimensional Robot Games
Reino Niskanen, Igor Potapov, Julien Reichert
Robot game is a two-player vector addition game played on the integer lattice . Both players have sets of vectors and in each turn the vector chosen by a player is ad…
cs.DM2016★ 2 cited
Decidability of the Membership Problem for integer matrices
Igor Potapov, Pavel Semukhin
The main result of this paper is the decidability of the membership problem for nonsingular integer matrices. Namely, we will construct the first algorithm that for any…