Group Theory
Axiom can work with individual permutations, permutation groups and do representation theory.
Info on Group Theory
Info on Representation Theory
Representations of A6
The irreducible representations of the alternating group A6 over fields of characteristic 2.