



@book{ Rob82,
  author =           {Robinson, D. J.},
  title =            {A Course in the Theory of Groups},
  publisher =        {Springer-Verlag},
  series =           {Graduate Texts in Math.},
  volume =           {80},
  address =          {New York, Heidelberg, Berlin},
  year =             {1982},
  printedkey =       {Rob82}
}
@book{ Seg83,
  author =           {Segal, D.},
  title =            {Polycyclic Groups},
  publisher =        {Cambridge University Press},
  address =          {Cambridge},
  year =             {1983},
  printedkey =       {Seg83}
}
@article{ Seg90,
  author =           {Segal, D.},
  title =            {Decidable properties of polycyclic groups},
  journal =          {Proc. London Math. Soc. (3)},
  volume =           {61},
  year =             {1990},
  pages =            {497-528},
  mrclass =          {20F10 (03D40 20F16)},
  mrnumber =         {MR1069513},
  printedkey =       {Seg90}
}
@article{ Hir38a,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(I)}},
  journal =          {Proc. London Math. Soc.},
  volume =           {44},
  number =           {2},
  year =             {1938},
  pages =            {53-60},
  printedkey =       {Hir38}
}
@article{ Hir38b,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(II)}},
  journal =          {Proc. London Math. Soc.},
  volume =           {44},
  number =           {2},
  year =             {1938},
  pages =            {336-414},
  printedkey =       {Hir38}
}
@article{ Hir46,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(III)}},
  journal =          {J. London Math. Soc.},
  volume =           {49},
  number =           {2},
  year =             {1946},
  pages =            {184-94},
  printedkey =       {Hir46}
}
@article{ Hir52,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(IV)}},
  journal =          {J. London Math. Soc.},
  volume =           {27},
  year =             {1952},
  pages =            {81-85},
  printedkey =       {Hir52}
}
@article{ Hir54,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(V)}},
  journal =          {J. London Math. Soc.},
  volume =           {29},
  year =             {1954},
  pages =            {250-251},
  printedkey =       {Hir54}
}
@article{ BCRS91,
  author =           {Baumslag,  G. and Cannonito, F. B. and Robinson, D. J.
                      S. and Segal, D.},
  title =            {The algorithmic theory of polycyclic-by-finite groups},
  journal =          {J. Algebra},
  volume =           {142},
  year =             {1991},
  pages =            {118--149},
  printedkey =       {BCRS91}
}
@book{ Sims94,
  author =           {Sims, C. C.},
  title =            {Computation with finitely presented groups},
  publisher =        {Cambridge University Press},
  series =           {Encyclopedia of Mathematics and its Applications},
  volume =           {48},
  address =          {Cambridge},
  year =             {1994},
  isbn =             {0-521-43213-8},
  mrclass =          {20F05 (20-02 68Q40 68Q42)},
  mrnumber =         {95f:20053},
  mrreviewer =       {Friedrich Otto},
  printedkey =       {Sim94}
}
@article{ LGS90,
  author =           {Leedham-Green, C. R. and Soicher, L. H.},
  title =            {Collection from the left and other strategies},
  journal =          {J. Symbolic Comput.},
  volume =           {9},
  number =           {5-6},
  year =             {1990},
  pages =            {665--675},
  issn =             {0747-7171},
  mrclass =          {20D10 (68Q25)},
  mrnumber =         {92b:20021},
  mrreviewer =       {M. Greendlinger},
  printedkey =       {LS90}
}
@article{ MVL90,
  author =           {Vaughan-Lee, M. R.},
  title =            {Collection from the left},
  journal =          {J. Symbolic Comput.},
  volume =           {9},
  number =           {5-6},
  year =             {1990},
  pages =            {725--733},
  issn =             {0747-7171},
  mrclass =          {20F12 (20-04 20D15 20F18)},
  mrnumber =         {92c:20065},
  mrreviewer =       {M. Greendlinger},
  printedkey =       {Vau90}
}
@article{ B-K00,
  author =           {Beuerle, J. R. and Kappe, L.-C.},
  title =            {Infinite   metacyclic  groups  and  their  non-abelian
                      tensor squares},
  journal =          {Proc. Edinburgh Math. Soc. (2)},
  volume =           {43},
  number =           {3},
  year =             {2000},
  pages =            {651--662},
  issn =             {0013-0915},
  mrclass =          {20F05},
  mrnumber =         {2003d:20037},
  mrreviewer =       {Graham J. Ellis},
  printedkey =       {BK00}
}
@mastersthesis{ WWM97,
  author =           {Merkwitz, W. W.},
  title =            {{Symbolische Multiplikation in nilpotenten Gruppen mit
                      Deep Thought}},
  school =           {RWTH Aachen},
  year =             {1997},
  printedkey =       {Mer97},
  type =             {Diplomarbeit}
}
@article{ LGS98,
  author =           {Leedham-Green, C. R. and Soicher, L. H.},
  title =            {Symbolic collection using {D}eep {T}hought},
  journal =          {LMS J. Comput. Math.},
  volume =           {1},
  year =             {1998},
  pages =            {9--24 (electronic)},
  issn =             {1461-1570},
  mrclass =          {20-04 (20F18)},
  mrnumber =         {99f:20002},
  mrreviewer =       {Martyn R. Dixon},
  printedkey =       {LS98}
}
@inproceedings{ Eic00,
  author =           {Eick, B.},
  booktitle =        {{Groups and Computation {III}}},
  title =            {Computing with infinite polycyclic groups},
  organization =     {(DIMACS, 1999)},
  series =           {Amer. Math. Soc. DIMACS Series},
  year =             {2000},
  printedkey =       {Eic00}
}
@article{ EOs01,
  author =           {Eick, B. and Ostheimer, G.},
  title =            {On  the  orbit  stabilizer problem for integral matrix
                      actions of polycyclic groups},
  journal =          {Accepted by Math. Comp},
  year =             {2002},
  printedkey =       {EO02}
}
@article{ Eic01,
  author =           {Eick, B.},
  title =            {On  the  {Fitting}  subgroup of a polycyclic-by-finite
                      group and its applications},
  journal =          {J. Algebra},
  volume =           {242},
  year =             {2001},
  pages =            {176--187},
  printedkey =       {Eic01}
}
@misc{ Eic01b,
  author =           {Eick, B.},
  title =            {Computations with polycyclic groups},
  year =             {2001},
  howpublished =     {Habilitationsschrift, Kassel},
  printedkey =       {Eic01}
}
@article{ Eic02,
  author =           {Eick, B.},
  title =            {Orbit-stabilizer  problems  and  computing normalizers
                      for polycyclic groups},
  journal =          {J. Symbolic Comput.},
  volume =           {34},
  year =             {2002},
  pages =            {1--19},
  printedkey =       {Eic02}
}
@misc{ Lo99,
  author =           {Lo, E. H.},
  title =            {Enumerating   finite  index  subgroups  of  polycyclic
                      groups},
  year =             {1998},
  howpublished =     {Unpublished report},
  printedkey =       {Lo98}
}
@article{ LOs99,
  author =           {Lo, E. H. and Ostheimer, G.},
  title =            {A    practical    algorithm    for    finding   matrix
                      representations for polycyclic groups},
  journal =          {J. Symbolic Comput.},
  volume =           {28},
  year =             {1999},
  pages =            {339--360},
  printedkey =       {LO99}
}
@article{ Lo98,
  author =           {Lo, E. H.},
  title =            {Finding   intersection   and  normalizer  in  finitely
                      generated nilpotent groups},
  journal =          {J. Symbolic Comput.},
  volume =           {25},
  year =             {1998},
  pages =            {45--59},
  printedkey =       {Lo98}
}
@article{ Ost99,
  author =           {Ostheimer, G.},
  title =            {Practical algorithms for polycyclic matrix groups},
  journal =          {J. Symbolic Comput.},
  volume =           {28},
  year =             {1999},
  pages =            {361--379},
  printedkey =       {Ost99}
}
@article{ dGN02,
  author =           {de Graaf, W. A. and Nickel, W.},
  title =            {Constructing      faithful      representations     of
                      finitely-generated torsion-free nilpotent groups},
  journal =          {J. Symbolic Comput.},
  volume =           {33},
  number =           {1},
  year =             {2002},
  pages =            {31--41},
  issn =             {0747-7171},
  mrclass =          {20C15 (20F18)},
  mrnumber =         {MR1876310},
  printedkey =       {GN02}
}
@article{ EickNickel07,
  author =           {Eick, B. and Nickel, W.},
  title =            {Computing  the Schur multiplicator and the non-abelian
                      tensor square of a polycyclic group},
  journal =          {J. Algebra},
  volume =           {320},
  number =           {2},
  year =             {2008},
  pages =            {927{\textendash}-944},
  mrclass =          {20J05 (20-04 20E22 20F05)},
  mrnumber =         {MR2422322},
  printedkey =       {EN08}
}
