Group Theory and Computation