G.
Higman

# Some remarks on varieties of groups

Quart. J. Math. Oxford
1959
2
10
165–178
C. R.
Leedham-Green
L. H.
Soicher

# Collection from the left and other strategies

J. Symbolic Comput.
1990
9
5–6
665–675
M. F.
Newman
Werner
Nickel

# Engel elements in groups

J. Pure Appl. Algebra
1994
96
39–45
Werner
Nickel

# Computing Nilpotent Quotients of Finitely Presented Groups

Geometric and Computational Perspectives on Infinite Groups
1996
25
Dimacs Series in Discrete Mathematics and Theoretical Computer Science
175–191
C. C.
Sims

# Computation with Finitely Presented Groups

Cambridge University Press
1994
M. R.
Vaughan-Lee

# Collection from the Left

J. Symbolic Comput.
1990
9
725–733
Academic Press
Bettina
Eick
Werner
Nickel

# Polycyclic, Algorithms for working with polycyclic groups

https://gap-packages.github.io/polycyclic/
2002

GAP package

# GNU MP

    https://gmplib.org/

GMP

# GAP -- Groups, Algorithms, and Programming, Version 4.11.1

The GAP Group
2021

https://www.gap-system.org

GAP
groups; *; gap; manual