This book contains the proceedings of two workshops on computational aspects of geometric group theory. The workshops, held in the winter of 1994 at DIMACS and at the Geometry Center, covered practical group theoretic computation and theoretical problems.

Containing both research and expository articles, this book is the only one available concentrating on the computational aspects of geometric group theory. Because this area involves an interplay between group theory, geometry, and automata theory, the expository articles in this book should help researchers in these fields to make connections to the other areas.

Co-published with the Center for Discrete Mathematics and Theoretical Computer Science beginning with Volume 8. Volumes 1-7 were co-published with the Association for Computer Machinery (ACM).

Readership

Mathematicians and computer scientists.

Table of Contents

• J. Burillo -- Lower bounds of isoperimetric functions for nilpotent groups
• L. J. Carbone -- A filtration of the chain complex of a rewriting system
• R. H. Gilman -- Formal languages and infinite groups
• G. Havas, M. F. Newman, and E. A. O'Brien -- Groups of deficiency zero
• D. F. Holt -- The Warwick automatic groups software
• A. Juhász -- Some remarks on one-relator free products with amalgamation
• I. Kapovich -- Detecting quasiconvexity: Algorithmic aspects
• L. Mosher -- A user's guide to the mapping class group: Once punctured surfaces
• W. Nickel -- Computing nilpotent quotients of finitely presented groups
• P. Papasoglu -- An algorithm detecting hyperbolicity
• G. Sénizergues -- On the finite subgroups of a context-free group