Definition:Computational Group Theory

Definition
Computational group theory is the study of groups by means of computers.

It is concerned with designing and analysing algorithms and data structures to compute information about groups.