|
20-XX - Group theory and generalizations [MSC 2020] |
68W30 - Symbolic computation and algebraic computation [MSC 2020] |
20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020] |
68Q45 - Formal languages and automata [MSC 2020] |
68Q42 - Grammars and rewriting systems [MSC 2020] |
20F05 - Generators, relations, and presentations of groups [MSC 2020] |
20F19 - Generalizations of solvable and nilpotent groups [MSC 2020] |
20F18 - Nilpotent groups [MSC 2020] |
20F16 - Solvable groups, supersolvable groups [MSC 2020] |
20D15 - Nilpotent groups, $p$-groups [MSC 2020] |