No CrossRef data available.
Article contents
A computer proof of relations in a certain class of groups
Published online by Cambridge University Press: 14 November 2011
Synopsis
A gp-toolkit consisting of computer implementations of various group theory methods, in particular a Tietze transformation program, was designed. Special cases of a conjecture were solved by the gp-toolkit. Examination of the method used by the gp-toolkit to deduce relations showed that a general approach had been employed. We present a proof verifying that the conjecture is true which is a straightforward generalisation of the method discovered by the gp-toolkit.
- Type
- Research Article
- Information
- Proceedings of the Royal Society of Edinburgh Section A: Mathematics , Volume 117 , Issue 1-2 , 1991 , pp. 109 - 114
- Copyright
- Copyright © Royal Society of Edinburgh 1991