2 papers
math.GR1999
Combing nilpotent and polycyclic groups
Robert H. Gilman, Derek F. Holt, Sarah Rees
A combing is a set of normal forms for a finitely generated group. This article investigates the language-theoretic and geometric properties of combings for nilpotent and polycycli…
math.GR1998
Computation in word-hyperbolic groups
David B. A. Epstein, Derek F. Holt
We describe a procedure which verifies that a group given by generators and relators is word-hyperbolic. This procedure always works with a group which is word-hyperbolic, provided…