Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices.
Volker Diekert, Igor Potapov, Pavel Semukhin
Browse the full ISSAC paper archive.
Volker Diekert, Igor Potapov, Pavel Semukhin
Browse the full ISSAC paper archive.