# Polycyclic : a GAP 4 package - References

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

[Up]