Computational Group Theory and Applications.