Concepedia

Verifying nilpotence

Charles C. Sims

Journal of Symbolic Computation · 1987 · 31 citations · 4 references

DOI

References

4

Free Differential Calculus, IV. The Quotient Groups of the Lower Central Series

K. T. Chen, Ralph H. Fox, Roger C. Lyndon · Annals of Mathematics · 1958 · 363 citations

, , +7

Implementation and analysis of the Todd-Coxeter algorithm

John J. Cannon, Lucien A. Dimino, George Havas et al. · Mathematics of Computation · 1973 · 84 citations · Full text

, , +5

Presentations of groups and monoids

Robert H. Gilman · Journal of Algebra · 1979 · 65 citations

, , +6

PROCEEDINGS OF THE RUTGERS GROUP THEORY YEAR, 1983-1984

M. J. Collins · Bulletin of the London Mathematical Society · 1986 · 37 citations

, , +3