%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%W  polycyclic.bib              documentation                Bettina Eick
%W                                                          Werner Nickel
%%

@book{Rob82,
        author =        {D.J. Robinson},
        title =         {A Course in the Theory of Groups},
        publisher =     {Springer-Verlag},
        year =          1982,
        volume =        80,
        series =        {Graduate Texts in Math.},
        address =       {New York, Heidelberg, Berlin}}

@book{Seg83,
        author =        {D. Segal},
        title =         {Polycyclic Groups},
        publisher =     {Cambridge University Press},
        year =          1983,
        address =       {Cambridge}}

@article{Seg90,
        author =        {D. Segal},
        title =         {Decidable properties of polycyclic groups},
        journal =       {Proc.\ London Math.\ Soc.\ $(3)$},
        volume =        61,
        pages =         {497-528},
        year =          1990}

@article{Hir38a,
        author =        {K.A. Hirsch},
        title =         {On Infinite Soluble Groups {(II)}},
        journal =       {Proc.\ London Math.\ Soc.},
        volume =        44,
        number =        2,
        pages =         {336-414},
        year =          1938}

@article{Hir38b,
        author =        {K.A. Hirsch},
        title =         {On Infinite Soluble Groups {(I)}},
        journal =       {Proc.\ London Math.\ Soc.},
        volume =        44,
        number =        2,
        pages =         {53-60},
        year =          1938 }

@article{Hir46,
        author =        {K.A. Hirsch},
        title =         {On Infinite Soluble Groups {(III)}},
        journal =       {J.\ London Math.\ Soc.},
        volume =        49,
        number =        2,
        pages =         {184-94},
        year =          1946 }

@article{Hir52,
        author =        {K.A. Hirsch},
        title =         {On Infinite Soluble Groups {(IV)}},
        journal =       {J.\ London Math.\ Soc.},
        volume =        27,
        pages =         {81-85},
        year =          1952 }

@article{Hir54,
        author =        {K.A. Hirsch},
        title =         {On Infinite Soluble Groups {(V)}},
        journal =       {J.\ London Math.\ Soc.},
        volume =        29,
        pages =         {250-251},
        year =          1954 }

@article{BCRS91,
        author        = "G. Baumslag and F.B. Cannonito and 
                         D.J.S. Robinson and D. Segal",
        title         = "The algorithmic theory of polycyclic-by-finite groups",
        journal       = "J. Alg.",
        volume        = "142",
        pages         = "118 -- 149",
        year          = "1991"
}

@book{Sims94,
        author        = {Sims, Charles C.},
        title         = {Computation with finitely presented groups},
        series        = {Encyclopedia of Mathematics and its Applications},
        volume        = {48},
        publisher     = {Cambridge University Press},
        address       = {Cambridge},
        year          = {1994},
        isbn          = {0-521-43213-8},
        mrclass       = {20F05 (20-02 68Q40 68Q42)},
        mrnumber      = {95f:20053},
        mrreviewer    = {Friedrich Otto},
}

@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},
        year          = {1990},
        number        = {5-6},
        pages         = {665--675},
        issn          = {0747-7171},
        mrclass       = {20D10 (68Q25)},
        mrnumber      = {92b:20021},
        mrreviewer    = {M. Greendlinger},
}
@article{MVL90,
        author        = {Vaughan-Lee, M. R.},
        title         = {Collection from the left},
        journal       = {J. Symbolic Comput.},
        volume        = {9},
        year          = {1990},
        number        = {5-6},
        pages         = {725--733},
        issn          = {0747-7171},
        mrclass       = {20F12 (20-04 20D15 20F18)},
        mrnumber      = {92c:20065},
        mrreviewer    = {M. Greendlinger},
}


@article{B-K00,
        author        = {Beuerle, James R. and Kappe, Luise-Charlotte},
        title         = {Infinite metacyclic groups and their non-abelian
                         tensor squares},
        journal       = {Proc. Edinburgh Math. Soc. (2)},
        volume        = {43},
        year          = {2000},
        number        = {3},
        pages         = {651--662},
        issn          = {0013-0915},
        mrclass       = {20F05},
        mrnumber      = {2003d:20037},
        mrreviewer    = {Graham J. Ellis},
}


@MastersThesis{WWM97,
        author        = {Wolfgang W.\ Merkwitz},
        title         = {{Symbolische Multiplikation in nilpotenten Gruppen 
                          mit Deep Thought}},
        type          = "Diplomarbeit",
        school        = {RWTH Aachen},
        year          = 1997
}

@article{LGS98,
        author        = {Leedham-Green, C. R. and Soicher, Leonard 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}
}


@inproceedings{Eic00,
        author        = "Bettina Eick",
        title         = "Computing with infinite polycyclic groups",
        organization  = {(DIMACS, 1999)},
        series        = {Amer.\ Math.\ Soc.\ DIMACS Series},
        booktitle     = "{Groups and Computation {III}}",
        year          = "2000"
}

@article{EOs01,
        author =     "Bettina Eick and Gretchen Ostheimer",
        title =      "On the orbit stabilizer problem for integral matrix
                      actions of polycyclic groups",
        journal =    "Accepted by Math. Comp",
        year =       "2002"}

@article{Eic01,
        author =    "Bettina Eick",
        title  =    "On the {Fitting} subgroup of a polycyclic-by-finite group
                     and its applications",
        journal =   "J. Alg.",
        volume =    "242",
        pages =     {176 -- 187},
        year =      "2001"}

@misc{Eic01b,
        author =    "Bettina Eick",
        title  =    "Computations with polycyclic groups",
        year =      "2001",
        howpublished = "Habilitationsschrift, Kassel"}

@article{Eic02,
        author =     "Bettina Eick",
        title =      "Orbit-stabilizer problems and computing normalizers for
                      polycyclic groups",
        journal =    "J. Symb. Comp.",
        volume =     "34",
        pages =      "1 -- 19",
        year =       2002 }

@misc{Lo99,
        author =     {Eddie H. Lo},
        title =      {Enumerating finite index subgroups of polycyclic groups},
        year =       1998,
        howpublished = {Unpublished report}}

@article{LOs99,
        author        = {Eddie H. Lo and Gretchen Ostheimer},
        title        = {A practical algorithm for finding matrix
                        representations for polycyclic groups},
        journal =      {J. Symbol. Comput.},
        volume =       28,
        pages  =       { 339 -- 360},
        year =         1999}

@article{Lo98,
        author =       {E. H. Lo},
        title =        {Finding intersection and normalizer in
                        finitely generated nilpotent groups},
        journal =      {J. Symbol. Comput.},
        volume =       25,
        pages  =       { 45 -- 59},
        year =         1998}

@article{Ost99,
        author =        {G. Ostheimer},
        title =         {Practical algorithms for polycyclic matrix groups},
        journal =       {J. Symb. Comput.},
        volume =        28,
        pages =         { 361 -- 379},
        year =          1999}

@article{dGN02,
        author        = {de Graaf, Willem A. and Nickel, Werner},
        title         = {Constructing faithful representations of 
                         finitely-generated torsion-free nilpotent groups},
        journal       = {J. Symbolic Comput.},
        volume        = {33},
        year          = {2002},
        number        = {1},
        pages         = {31--41},
        issn          = {0747-7171},
        mrclass       = {20C15 (20F18 68W30)},
        mrnumber      = {1 876 310},
}













