Alexander Hulpke. Constructive Membership Tests in Some Infinite Matrix Groups. In Manuel Kauers, Alexey Ovchinnikov, Éric Schost, editors, Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018. pages 215-222, ACM, 2018. [doi]
Abstract is missing.