 | Up a level |
Diekert, Volker, Potapov, Igor and Semukhin, Pavel
(2019)
Decidability of membership problems for flat rational subsets of
$\mathrm{GL}(2,\mathbb{Q})$ and singular matrices.
In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation.
Potapov, Igor and Semukhin, Pavel
(2016)
Decidability of the Membership Problem for $2\times 2$ integer matrices.
[Preprint]
Potapov, Igor and Semukhin, Pavel
(2017)
Decidability of the Membership Problem for 2 × 2 integer matrices.
In: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms.
Bell, Paul C, Potapov, Igor and Semukhin, Pavel
(2019)
Decidability of the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond.
In: 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), 2019-8-26 - 2019-8-30, Aachen, Germany.
Potapov, Igor and Semukhin, Pavel
(2017)
Decidability of the membership problem for 2 × 2 integer matrices.
In: ACM-SIAM Symposium on Discrete Algorithms, 2017-1-16 - 2017-1-19, Barcelona, Spain.
Fokina, Ekaterina, Khoussainov, Bakhadyr, Semukhin, Pavel and Turetsky, Daniel
(2016)
LINEAR ORDERS REALIZED BY CE EQUIVALENCE RELATIONS.
JOURNAL OF SYMBOLIC LOGIC, 81 (2).
pp. 463-482.
Bell, Paul C, Niskanen, Reino, Potapov, Igor and Semukhin, Pavel
(2023)
On the Identity and Group Problems for Complex Heisenberg Matrices.
CoRR, abs/23.
Bell, Paul C, Potapov, Igor and Semukhin, Pavel
(2019)
On the Mortality Problem: from multiplicative matrix equations to linear
recurrence sequences and beyond.
[Internet Publication]
Bell, Paul C, Potapov, Igor and Semukhin, Pavel
(2021)
On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond.
Information and Computation, 281.
p. 104736.
Bell, Paul C, Niskanen, Reino, Potapov, Igor and Semukhin, Pavel
(2023)
On the Identity and Group Problems for Complex Heisenberg Matrices.
.
Potapov, Igor and Semukhin, Pavel
(2015)
Vector Reachability Problem in $\mathrm{SL}(2,\mathbb{Z})$.
[Internet Publication]