[BCRS91] Baumslag, G., Cannonito, F. B., Robinson, D. J. S. and Segal, D., The algorithmic theory of polycyclic-by-finite groups, J. Algebra, 142 (1991), 118--149.
[BK00] Beuerle, J. R. and Kappe, L.-C., Infinite metacyclic groups and their non-abelian tensor squares, Proc. Edinburgh Math. Soc. (2), 43 (3) (2000), 651--662.
[dGN02] de Graaf, W. A. and Nickel, W., Constructing faithful representations of finitely-generated torsion-free nilpotent groups, J. Symbolic Comput., 33 (1) (2002), 31--41.
[Eic00] Eick, B., Computing with infinite polycyclic groups, in Groups and Computation III, (DIMACS, 1999), Amer. Math. Soc. DIMACS Series (2000).
[Eic01a] Eick, B., Computations with polycyclic groups (2001), Habilitationsschrift, Kassel.
[Eic01b] Eick, B., On the Fitting subgroup of a polycyclic-by-finite group and its applications, J. Algebra, 242 (2001), 176--187.
[Eic02] Eick, B., Orbit-stabilizer problems and computing normalizers for polycyclic groups, J. Symbolic Comput., 34 (2002), 1--19.
[EN08] Eick, B. and Nickel, W., Computing the Schur multiplicator and the non-abelian tensor square of a polycyclic group, J. Algebra, 320 (2) (2008), 927–-944.
[EO02] Eick, B. and Ostheimer, G., On the orbit stabilizer problem for integral matrix actions of polycyclic groups, Accepted by Math. Comp (2002).
[Hir38a] Hirsch, K. A., On Infinite Soluble Groups (I), Proc. London Math. Soc., 44 (2) (1938), 53-60.
[Hir38b] Hirsch, K. A., On Infinite Soluble Groups (II), Proc. London Math. Soc., 44 (2) (1938), 336-414.
[Hir46] Hirsch, K. A., On Infinite Soluble Groups (III), J. London Math. Soc., 49 (2) (1946), 184-94.
[Hir52] Hirsch, K. A., On Infinite Soluble Groups (IV), J. London Math. Soc., 27 (1952), 81-85.
[Hir54] Hirsch, K. A., On Infinite Soluble Groups (V), J. London Math. Soc., 29 (1954), 250-251.
[LGS90] Leedham-Green, C. R. and Soicher, L. H., Collection from the left and other strategies, J. Symbolic Comput., 9 (5-6) (1990), 665--675.
[LGS98] Leedham-Green, C. R. and Soicher, L. H., Symbolic collection using Deep Thought, LMS J. Comput. Math., 1 (1998), 9--24 (electronic).
[Lo98a] Lo, E. H., Enumerating finite index subgroups of polycyclic groups (1998), Unpublished report.
[Lo98b] Lo, E. H., Finding intersection and normalizer in finitely generated nilpotent groups, J. Symbolic Comput., 25 (1998), 45--59.
[Mer97] Merkwitz, W. W., Symbolische Multiplikation in nilpotenten Gruppen mit Deep Thought, Diplomarbeit, RWTH Aachen (1997).
[Rob82] Robinson, D. J., A Course in the Theory of Groups, Springer-Verlag, Graduate Texts in Math., 80, New York, Heidelberg, Berlin (1982).
[Seg83] Segal, D., Polycyclic Groups, Cambridge University Press, Cambridge (1983).
[Seg90] Segal, D., Decidable properties of polycyclic groups, Proc. London Math. Soc. (3), 61 (1990), 497-528.
[Sim94] Sims, C. C., Computation with finitely presented groups, Cambridge University Press, Encyclopedia of Mathematics and its Applications, 48, Cambridge (1994).
[VL90] Vaughan-Lee, M. R., Collection from the left, J. Symbolic Comput., 9 (5-6) (1990), 725--733.
generated by GAPDoc2HTML