D. J.
Robinson

# A Course in the Theory of Groups

Springer-Verlag
1982
80
Graduate Texts in Math.

    New York, Heidelberg, Berlin

D.
Segal

# Polycyclic Groups

Cambridge University Press
1983

    Cambridge

D.
Segal

# Decidable properties of polycyclic groups

Proc. London Math. Soc. (3)
1990
61
497-528
MR1069513
20F10 (03D40 20F16)
K. A.
Hirsch

# On Infinite Soluble Groups (I)

Proc. London Math. Soc.
1938
44
2
53-60
K. A.
Hirsch

# On Infinite Soluble Groups (II)

Proc. London Math. Soc.
1938
44
2
336-414
K. A.
Hirsch

# On Infinite Soluble Groups (III)

J. London Math. Soc.
1946
49
2
184-94
K. A.
Hirsch

# On Infinite Soluble Groups (IV)

J. London Math. Soc.
1952
27
81-85
K. A.
Hirsch

# On Infinite Soluble Groups (V)

J. London Math. Soc.
1954
29
250-251
G.
Baumslag
F. B.
Cannonito
D. J. S.
Robinson
D.
Segal

# The algorithmic theory of polycyclic-by-finite groups

J. Algebra
1991
142
118--149
Charles C.
Sims

# Computation with finitely presented groups

Cambridge University Press
1994
48
Encyclopedia of Mathematics and its Applications

    Cambridge

0-521-43213-8
95f:20053
20F05 (20-02 68Q40 68Q42)
Friedrich Otto
C. R.
Leedham-Green
L. H.
Soicher

# Collection from the left and other strategies

J. Symbolic Comput.
1990
9
5-6
665--675
0747-7171
92b:20021
20D10 (68Q25)
M. Greendlinger
M. R.
Vaughan-Lee

# Collection from the left

J. Symbolic Comput.
1990
9
5-6
725--733
0747-7171
92c:20065
20F12 (20-04 20D15 20F18)
M. Greendlinger
James R.
Beuerle
Luise-Charlotte
Kappe

# Infinite metacyclic groups and their non-abelian tensor squares

Proc. Edinburgh Math. Soc. (2)
2000
43
3
651--662
0013-0915
2003d:20037
20F05
Graham J. Ellis
Wolfgang W.
Merkwitz

# Symbolische Multiplikation in nilpotenten Gruppen mit Deep Thought

RWTH Aachen
1997
Diplomarbeit
C. R.
Leedham-Green
Leonard H.
Soicher

# Symbolic collection using Deep Thought

LMS J. Comput. Math.
1998
1
9--24 (electronic)
1461-1570
99f:20002
20-04 (20F18)
Martyn R. Dixon
Bettina
Eick

# Computing with infinite polycyclic groups

Groups and Computation III
2000
Amer. Math. Soc. DIMACS Series
(DIMACS, 1999)
Bettina
Eick
Gretchen
Ostheimer

# On the orbit stabilizer problem for integral matrix actions of polycyclic groups

Accepted by Math. Comp
2002
Bettina
Eick

# On the Fitting subgroup of a polycyclic-by-finite group and its applications

J. Algebra
2001
242
176--187
Bettina
Eick

# Computations with polycyclic groups

Habilitationsschrift, Kassel
2001
Bettina
Eick

# Orbit-stabilizer problems and computing normalizers for polycyclic groups

J. Symbolic Comput.
2002
34
1--19
Eddie H.
Lo

# Enumerating finite index subgroups of polycyclic groups

Unpublished report
1998
Eddie H.
Lo
Gretchen
Ostheimer

# A practical algorithm for finding matrix representations for polycyclic groups

J. Symbolic Comput.
1999
28
339--360
E. H.
Lo

# Finding intersection and normalizer in finitely generated nilpotent groups

J. Symbolic Comput.
1998
25
45--59
G.
Ostheimer

# Practical algorithms for polycyclic matrix groups

J. Symbolic Comput.
1999
28
361--379
Willem A.
de Graaf
Werner
Nickel

# Constructing faithful representations of finitely-generated torsion-free nilpotent groups

J. Symbolic Comput.
2002
33
1
31--41
0747-7171
MR1876310
20C15 (20F18)
Bettina
Eick
Werner
Nickel

# Computing the Schur multiplicator and the non-abelian tensor square of a polycyclic group

J. Algebra
2008
320
2
927–-944
MR2422322
20J05 (20-04 20E22 20F05)