Application of Computational Tools for Finitely Presented Groups

George Havas, Edmund F. Robertson. Application of Computational Tools for Finitely Presented Groups. In Nathaniel Dean, Gregory E. Shannon, editors, Computational Support for Discrete Mathematics, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, March 12-14, 1992. Volume 15 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 29-40, DIMACS/AMS, 1992.