Thin groups of prime-power order and thin Lie algebras, 1994. ,
An algorithm for computing quotients of prime-power order for finitely-presented groups and its implementation in GAP, 1993. ,
Computability, Complexity and Languages, 1983. ,
Some Word-Problems, Journal of the London Mathematical Society, vol.1, issue.4, pp.482-496, 1958. ,
DOI : 10.1112/jlms/s1-33.4.482
The Theory of Groups, 1959. ,
Rings, Modules and Linear Algebra, 1970. ,
Recognizing badly presented Z-modules, Linear Algebra and its Applications, vol.192, pp.137-163, 1993. ,
DOI : 10.1016/0024-3795(93)90241-F
Hermite normal form computation for integer matrices, Congressus Numerantium, vol.105, pp.87-96, 1994. ,
Integer Matrix Diagonalization, Journal of Symbolic Computation, vol.24, issue.3-4, 1995. ,
DOI : 10.1006/jsco.1996.0141
Application of computers to questions like those of Burnside, Lecture Notes in Math, vol.30, issue.2, pp.211-230, 1977. ,
DOI : 10.1093/qmath/30.4.495
A nilpotent quotient algorithm for graded Lie rings, Journal of Symbolic Computation, vol.9, issue.5-6, pp.653-664, 1990. ,
DOI : 10.1016/S0747-7171(08)80080-6
Introduction to Lie Algebras and Representation Theory. Graduate Text in Mathematics, 1972. ,
Central extensions of polycyclic groups, 1993. ,
Computing nilpotent quotients in finitely presented groups, Geometric and Computational Prospectives of Finite Groups, DIMACS series, 1995. ,
A Course in the Theory of Groups, volume 80 of Graduate Texts in Math, 1982. ,
Computations in finitely presented lie rings, 1996. ,
Computation with finitely presented groups, 1994. ,
DOI : 10.1017/CBO9780511574702
On systems of linear indeterminate equations and congruences, Philos. Trans. Royal Soc. London, vol.cli, pp.293-326 ,
Group Theory I, volume 247 of Grundlehren Math. Wiss, 1982. ,
An aspect of the nilpotent quotient algorithm, Computational Group Theory, pp.76-83, 1982. ,