Computation with Finitely Presented Groups