<html><head><title>Polycyclic : a GAP 4 package - References</title></head> <body text="#000000" bgcolor="#ffffff"> <h1><font face="Gill Sans,Helvetica,Arial">Polycyclic</font> : a <font face="Gill Sans,Helvetica,Arial">GAP</font> 4 package - References</h1><dl> <dt><a name="BCRS91"><b>[BCRS91]</b></a><dd> G. Baumslag, F.B. Cannonito, D.J.S. Robinson, and D. Segal. <br> The algorithmic theory of polycyclic-by-finite groups. <br> <em>J. Alg.</em>, 142:118 -- 149, 1991. <dt><a name="B-K00"><b>[B-K00]</b></a><dd> James R. Beuerle and Luise-Charlotte Kappe. <br> Infinite metacyclic groups and their non-abelian tensor squares. <br> <em>Proc. Edinburgh Math. Soc. (2)</em>, 43(3):651--662, 2000. <dt><a name="dGN02"><b>[dGN02]</b></a><dd> Willem A. de Graaf and Werner Nickel. <br> Constructing faithful representations of finitely-generated torsion-free nilpotent groups. <br> <em>J. Symbolic Comput.</em>, 33(1):31--41, 2002. <dt><a name="Eic00"><b>[Eic00]</b></a><dd> Bettina Eick. <br> Computing with infinite polycyclic groups. <br> In <em>Groups and Computation III</em>, Amer. Math. Soc. DIMACS Series. (DIMACS, 1999), 2000. <dt><a name="Eic01b"><b>[Eic01b]</b></a><dd> Bettina Eick. <br> Computations with polycyclic groups. <br> Habilitationsschrift, Kassel, 2001. <dt><a name="Eic01"><b>[Eic01]</b></a><dd> Bettina Eick. <br> On the Fitting subgroup of a polycyclic-by-finite group and its applications. <br> <em>J. Alg.</em>, 242:176 -- 187, 2001. <dt><a name="Eic02"><b>[Eic02]</b></a><dd> Bettina Eick. <br> Orbit-stabilizer problems and computing normalizers for polycyclic groups. <br> <em>J. Symb. Comp.</em>, 34:1 -- 19, 2002. <dt><a name="EickNickel07"><b>[EickNickel07]</b></a><dd> Bettina Eick and Werner Nickel. <br> Computing the schur multiplicator and the non-abelian tensor square of a polycyclic group. <br> <em>submitted</em>, 2007. <dt><a name="EOs01"><b>[EOs01]</b></a><dd> Bettina Eick and Gretchen Ostheimer. <br> On the orbit stabilizer problem for integral matrix actions of polycyclic groups. <br> <em>Accepted by Math. Comp</em>, 2002. <dt><a name="Hir38b"><b>[Hir38b]</b></a><dd> K.A. Hirsch. <br> On infinite soluble groups (I). <br> <em>Proc. London Math. Soc.</em>, 44(2):53--60, 1938. <dt><a name="Hir38a"><b>[Hir38a]</b></a><dd> K.A. Hirsch. <br> On infinite soluble groups (II). <br> <em>Proc. London Math. Soc.</em>, 44(2):336--414, 1938. <dt><a name="Hir46"><b>[Hir46]</b></a><dd> K.A. Hirsch. <br> On infinite soluble groups (III). <br> <em>J. London Math. Soc.</em>, 49(2):184--94, 1946. <dt><a name="Hir52"><b>[Hir52]</b></a><dd> K.A. Hirsch. <br> On infinite soluble groups (IV). <br> <em>J. London Math. Soc.</em>, 27:81--85, 1952. <dt><a name="Hir54"><b>[Hir54]</b></a><dd> K.A. Hirsch. <br> On infinite soluble groups (V). <br> <em>J. London Math. Soc.</em>, 29:250--251, 1954. <dt><a name="LGS90"><b>[LGS90]</b></a><dd> C. R. Leedham-Green and L. H. Soicher. <br> Collection from the left and other strategies. <br> <em>J. Symbolic Comput.</em>, 9(5-6):665--675, 1990. <dt><a name="LGS98"><b>[LGS98]</b></a><dd> C. R. Leedham-Green and Leonard H. Soicher. <br> Symbolic collection using Deep Thought. <br> <em>LMS J. Comput. Math.</em>, 1:9--24 (electronic), 1998. <dt><a name="Lo98"><b>[Lo98]</b></a><dd> E. H. Lo. <br> Finding intersection and normalizer in finitely generated nilpotent groups. <br> <em>J. Symbol. Comput.</em>, 25:45 -- 59, 1998. <dt><a name="Lo99"><b>[Lo99]</b></a><dd> Eddie H. Lo. <br> Enumerating finite index subgroups of polycyclic groups. <br> Unpublished report, 1998. <dt><a name="WWM97"><b>[WWM97]</b></a><dd> Wolfgang W. Merkwitz. <br> Symbolische Multiplikation in nilpotenten Gruppen mit Deep Thought. <br> Diplomarbeit, RWTH Aachen, 1997. <dt><a name="Rob82"><b>[Rob82]</b></a><dd> D.J. Robinson. <br> <em>A Course in the Theory of Groups</em>, volume 80 of <em>Graduate Texts in Math.</em> <br> Springer-Verlag, New York, Heidelberg, Berlin, 1982. <dt><a name="Seg83"><b>[Seg83]</b></a><dd> D. Segal. <br> <em>Polycyclic Groups</em>. <br> Cambridge University Press, Cambridge, 1983. <dt><a name="Seg90"><b>[Seg90]</b></a><dd> D. Segal. <br> Decidable properties of polycyclic groups. <br> <em>Proc. London Math. Soc. (3)</em>, 61:497--528, 1990. <dt><a name="Sims94"><b>[Sims94]</b></a><dd> Charles C. Sims. <br> <em>Computation with finitely presented groups</em>, volume 48 of <em> Encyclopedia of Mathematics and its Applications</em>. <br> Cambridge University Press, Cambridge, 1994. <dt><a name="MVL90"><b>[MVL90]</b></a><dd> M. R. Vaughan-Lee. <br> Collection from the left. <br> <em>J. Symbolic Comput.</em>, 9(5-6):725--733, 1990. </dl><p> [<a href="chapters.htm">Up</a>]<p> <P> <address>Polycyclic manual<br>Februar 2009 </address></body></html>