[Next][Prev] [_____] [Left] [Up] [Index] [Root]

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/.

 [Next][Prev] [_____] [Left] [Up] [Index] [Root]

Version: V2.19 of Mon Dec 17 14:40:36 EST 2012