Group isomorphism problem/Definition

The decision problem of determining whether two group presentations present isomorphic groups.