Definition:Computational Group Theory

From ProofWiki
Jump to navigation Jump to search

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.


Also see

  • Results about computational group theory can be found here.

Sources