@inproceedings{Beals:ab,
author = "L\'{a}szl\'{o} Babai and
Robert Beals and
Jin-yi Cai and
Gabor Ivanyos and
Eugene M. Luks",
title = "Multiplicative Equations over Commuting Matrices",
booktitle = "Proc. 3rd ACM-SIAM SODA (Symp. on Discrete
Algorithms)",
year = 1996,
note = "to appear"}
@inproceedings{BBR,
author = "L\'{a}szl\'{o} Babai and
Robert Beals and Daniel Rockmore",
title = "Deciding Finiteness of Matrix Groups in Deterministic
Polynomial Time",
booktitle = "Proc. ISSAC'93",
publisher = "ACM Press",
year = 1993,
pages = "117--126"}
@article{BCRS,
author = "Gilbert Baumslag and
Frank B. Cannonito and
Derek J. S. Robinson and
Dan Segal",
title = "The Algorithmic Theory of Polycyclic-by-Finite Groups",
journal = "J. Algebra",
volume = "142",
year = 1991,
pages = "118--149"}
@inproceedings{Beals:nilfin,
author = "Robert Beals",
title = "Algorithms for Matrix Groups and the {T}its Alternative",
booktitle = "Proc. 36th IEEE FOCS",
year = 1995,
pages = "593-602"}
@inproceedings{Beals:dimacs,
author = "Robert Beals",
title = "Towards Polynomial Time Algorithms for Matrix Groups",
booktitle = "DIMACS Series in Discrete Mathematics and Computer
Science",
year = 1997,
volume = 28,
pages = "31--54"}
@misc{Beals:conv,
author = "Robert Beals",
year = 1995,
note = "personal communication"}
@inproceedings{BP,
author = "Johannes Buchmann and
Michael Pohst",
title = "Computing a Lattice Basis from a System of Generating
Vectors",
booktitle = "EUROCAL '87, Lecture Notes in Comput. Sci.",
volume = 378,
publisher = "Springer",
year = 1989,
pages = "54--63"}
@book{Cohen,
author = "Henri Cohen",
title = "A Course in Computational Algebraic Number Theory",
publisher = "Springer-Verlag",
year = 1995}
@article{Dixon:paper,
author = "John D. Dixon",
title = "The Orbit-Stabilizer Problem for Linear Groups",
journal = "Can. J. Math.",
volume = 37,
year = 1985,
pages = "238--259"}
@book{Dixon:book,
author = "John D. Dixon",
title = "The Structure of Linear Groups",
publisher = "Van Nostrand Reinhold",
year = 1971}
@article{Do,
author = "E. Dobrowolski",
title = "On a Question of {L}ehmer and the Number of Irreducible Factors
of a Polynomial",
journal = "Acta Arith.",
volume = 34,
year = 1979,
pages = "391--401"}
@article{EHV,
author = "David Eisenbud and
Craig Huneke and
Wolmer Vasconcelos",
title = "Direct Methods for Primary Decomposition",
journal = "Invent. Math.",
volume = 110,
year = 1992,
pages = "207--235"}
@article{Fo,
author = "E. Formanek",
title = "Conjugate Separability of Polycyclic Groups",
journal = "J. Algebra",
volume = 42,
year = 1976,
pages = "1--10"}
@inproceedings{FR,
author = "Katalin Friedl and
Lajos R\'{o}nyai",
title = "Polynomial Time Solutions of Some Problems in Abstract
Algebra",
booktitle = "Proc. 17th ACM STOC",
year = 1985,
pages = "153--162"}
@phdthesis{Ge:thesis,
author = "Guoqiang Ge",
title = "Algorithms Related to Multiplicative Representations of Algebraic
Numbers",
address = "Math Dept.",
school = "U. C. Berkeley",
year = 1993}
@article{GS,
author = " Fritz Grunewald and
Daniel Segal",
title = "Some General Algorithms {II}: Nilpotent Groups",
journal = "Ann. of Math.",
volume = 112,
year = 1980,
pages = "585--617"}
@incollection{Hall:nilpgrps,
author = "Philip Hall",
title = "Nilpotent Groups",
booktitle = "Collected Works of {P}hilip {H}all",
chapter = 23,
pages = "415--462",
publisher = "Clarendon Press",
year = 1957}
@misc{Havas,
author = "George Havas",
year = 1996,
note = "personal communication"}
@article{Havas1,
author = "George Havas and B. S. Majewski",
title = "{H}ermite Normal Form Computation for Integer Matrices",
journal = "Congressus Numerantium",
volume = 105,
year = 1994,
pages = "87--96"}
@techreport{Havas2,
author = "G. Havas and
B. S. Majewski and
K. R. Matthews",
title = "Extended {GCD} Algorithms",
number = 302,
institution = "The University of Queensland",
year = 1995}.
@article{Lo:intersections,
author = "Eddie H. Lo",
title = "Finding Intersection and Normalizer in Finitely
Generated Nilpotent Groups",
journal = "J. Symbolic Computation",
note = "to appear"}
@article{Lo:jscpqa,
author = "Eddie H. Lo",
title = "A Polycyclic Quotient Algorithm",
journal = "J. Symbolic Computation",
note = "to appear"}
@inproceedings{Lo:pqa,
author = " Eddie H. Lo",
title = "A Polycyclic Quotient Algorithm",
booktitle = "DIMACS Series in Discrete Mathematics and Computer
Science",
year = 1995,
pages = "159--168"}
@unpublished{Lo:finiteindex,
author = "Eddie H. Lo",
title = "Enumerating the Finite Index Subgroups of a Polycyclic
Group",
note = "in preparation"}
@unpublished{GOEL,
author = "Eddie H. Lo and Gretchen Ostheimer",
title = "Finding Matrix Representations for Finitely Presented
Polycyclic Groups",
note = "in preparation"}
@article{Milnor,
author = "J. Milnor",
title = "Growth of Finitely Generated Solvable Groups",
journal = "J. Differential Geometry",
volume = 2,
year = 1968,
pages = "447--449"}
@manual{pcqa,
key = {PCQA},
organization = "Eddie H. Lo",
title = "{P}olycyclic {Q}uotient {A}lgorithm",
note = {Department of Mathematics, Rutgers University,
New Jersey, 1996, ftp@math.rutgers.edu}
}
@inproceedings{Luks,
author = "Eugene M. Luks",
title = "Computing in Solvable Matrix Groups",
booktitle = "Proc. 33rd IEEE FOCS",
year = 1992,
pages = "111--120"}
@phdthesis{GO:thesis,
author = "Gretchen Ostheimer",
title = "Algorithms for Polycyclic-by-Finite Groups",
school = "Rutgers Univerisity",
address = "Math Dept.",
year = 1996}
@book{Passi,
author = "Inder Bir S. Passi",
title = "Group Rings and Their Augmentation Ideals",
publisher = "Springer-Verlag",
year = 1979}
@book{Ro,
author = "Derek J. S. Robinson",
title = "A Course in the Theory of Groups",
publisher = "Springer-Verlag",
year = 1982}
@article{Segal:paper,
author = "Daniel Segal",
title = "Decidable Properties of Polycyclic Groups",
journal = "Proc. London Math. Soc. (3)",
volume = 61,
year = 1990,
pages = "497--528"}
@book{Segal:book,
author = "Daniel Segal",
title = "Polycyclic Groups",
publisher = "Cambridge University Press",
year = 1983}
@book{Sims,
author = "Charles C. Sims",
title = "Computation with Finitely Presented Groups",
publisher = "Cambridge University Press",
year = 1994}
@book{We,
author = "B. A. F. Wehrfritz",
title = "Infinite Linear Groups",
publisher = "Springer-Verlag",
year = 1973}
@article{Wolf,
author = "J. A. Wolf",
title = "Growth of Finitely Generated Solvable Groups and
Curvature of {R}iemannian Manifolds",
journal = "J. Differential Geometry",
volume = 2,
year = 1968,
pages = "421-446"}