Efficiency issues in the KBMAG procedure

Citation

Swan J (2011) Efficiency issues in the KBMAG procedure. Journal of Logic and Algebraic Programming, 80 (8), pp. 444-452. https://doi.org/10.1016/j.jlap.2010.11.001

Abstract
A well-known computational approach to finite presentations of infinite groups is the KBMAG procedure of Epstein, Holt and Rees. We describe some efficiency issues relating to the procedure and detail two asymptotic improvements: an index for the rewriting system that uses generalized suffix trees and the use of dynamic programming to reduce the number of verification steps.

Keywords
Knuth-Bendix algorithm; Automatic groups; String rewriting

Journal
Journal of Logic and Algebraic Programming: Volume 80, Issue 8