A. E. Caranti, S. Mattarei, M. F. Newman, and C. M. Scoppola, Thin groups of prime-power order and thin Lie algebras, 1994.

F. Celler, M. F. Newman, W. Nickel, and A. C. Niemeyer, An algorithm for computing quotients of prime-power order for finitely-presented groups and its implementation in GAP, 1993.

D. Martin, E. J. Davis, and . Weyuker, Computability, Complexity and Languages, 1983.

P. Hall, 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

M. Hall and J. , The Theory of Groups, 1959.

B. Hartley and T. O. Hawkes, Rings, Modules and Linear Algebra, 1970.

G. Havas, D. F. Holt, and S. Rees, Recognizing badly presented Z-modules, Linear Algebra and its Applications, vol.192, pp.137-163, 1993.
DOI : 10.1016/0024-3795(93)90241-F

G. Havas and B. S. Majewski, Hermite normal form computation for integer matrices, Congressus Numerantium, vol.105, pp.87-96, 1994.

G. Havas and B. S. Majewski, Integer Matrix Diagonalization, Journal of Symbolic Computation, vol.24, issue.3-4, 1995.
DOI : 10.1006/jsco.1996.0141

G. Havas and M. F. Newman, 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

G. Havas, M. F. Newman, and M. R. Vaughan-lee, 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

J. Humphreys, Introduction to Lie Algebras and Representation Theory. Graduate Text in Mathematics, 1972.

W. Nickel, Central extensions of polycyclic groups, 1993.

W. Nickel, Computing nilpotent quotients in finitely presented groups, Geometric and Computational Prospectives of Finite Groups, DIMACS series, 1995.

D. J. Robinson, A Course in the Theory of Groups, volume 80 of Graduate Texts in Math, 1982.

C. Schneider, Computations in finitely presented lie rings, 1996.

C. C. Sims, Computation with finitely presented groups, 1994.
DOI : 10.1017/CBO9780511574702

J. S. Henry and . Smith, On systems of linear indeterminate equations and congruences, Philos. Trans. Royal Soc. London, vol.cli, pp.293-326

M. Suzuki, Group Theory I, volume 247 of Grundlehren Math. Wiss, 1982.

M. R. Vaughan-lee, An aspect of the nilpotent quotient algorithm, Computational Group Theory, pp.76-83, 1982.