Categories: Group theory
In mathematics, computational group theory is the study of groups by means of computers.