Las Vegas algorithms for matrix groups | IEEE Conference Publication | IEEE Xplore