5 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
Igor Potapov, Pavel Semukhin
The main result of this paper is the decidability of the membership problem for 2×2 nonsingular integer matrices. Namely, we will construct the first algorithm that for any…