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.
@inproceedings{HavasR92,
title = {Application of Computational Tools for Finitely Presented Groups},
author = {George Havas and Edmund F. Robertson},
year = {1992},
researchr = {https://researchr.org/publication/HavasR92},
cites = {0},
citedby = {0},
pages = {29-40},
booktitle = {Computational Support for Discrete Mathematics, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, March 12-14, 1992},
editor = {Nathaniel Dean and Gregory E. Shannon},
volume = {15},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
publisher = {DIMACS/AMS},
}