kbmag : a GAP 4 package - References

[ECHLPT92]
D.B.A. Epstein, J.W. Cannon, D.F. Holt, S. Levy, M.S. Paterson, and W.P. Thurston.
Word Processing and Group Theory.
Jones and Bartlett, 1992.
[EHR91]
D.F. Holt, D.B.A. Epstein, and S. Rees.
The use of knuth-bendix methods to solve the word problem in automatic groups.
J. Symbolic Computation, 12:397--414, 1991.
[Holt94]
Derek F. Holt.
The warwick automatic groups software.
In Proceedings of DIMACS Conference on Computational Group Theory, Rutgers, March 1994., To appear.
[LeC86]
P. LeChenadec.
Canonical Forms in Finitely Presented Algebras.
London Pitman and New York, Wiley, 1986.
[Sims94]
Charles C. Sims.
Computation with Finitely Presented Groups.
Cambridge, 1994.

[Up]

kbmag manual
February 2017