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