MAGMA Computational Algebra System

Bibliography

CDHW73

John J. Cannon, Lucien A. Dimino, George Havas, and Jane M. Watson.
Implementation and analysis of the Todd-Coxeter algorithm.
Math. Comp., 27:463--490, 1973.

Hav91

G. Havas.
Coset enumeration strategies.
In ISSAC'91, pages 191--199. ACM Press, 1991.

NO96

M. F. Newman and E. A. O'Brien.
Application of computers to questions like those of Burnside. II.
Internat. J. Algebra Comput., 6(5):593--605, 1996.

Ram

Colin Ramsay.
ACE.
http://www.csee.uq.edu.au/~cram/.