3 citations · 3 across the 1 of their papers we have counts for
1 paper
George Havas, Edmund F. Robertson
Computer based techniques for recognizing finitely presented groups are quite powerful. Tools available for this purpose are outlined. They are available both in stand-alone progra…