Decidability of membership problems for flat rational subsets of GL (2, Q) and singular matrices (ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, 2020)

(untitled) - Diekert, V; Potapov, I; Semukhin, P