Algorithms for matrix groups and the Tits alternative | IEEE Conference Publication | IEEE Xplore