Logged rewriting and identities among relators
Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Cyfraniad i Gynhadledd › adolygiad gan gymheiriaid
We present a version of the Knuth-Bendix string rewriting procedure for group computations and apply it to the problem of computing the module of identities among relators. By lifting rewriting into the appropriate higher dimension we provide a methodology which is alternative and complementary to the popular geometric approach of pictures.
Iaith wreiddiol | Saesneg |
---|---|
Teitl | Groups St Andrews 2001 in Oxford |
Golygyddion | C. M. Campbell, E. F. Robertson, G. C. Smith |
Man cyhoeddi | Cambridge |
Cyhoeddwr | Cambridge University Press |
Tudalennau | 256-276 |
Cyfrol | 1 |
ISBN (Argraffiad) | 0521537398 |
Statws | Cyhoeddwyd - 2003 |
Cyfres gyhoeddiadau
Enw | London Mathematical Society Lecture Note Series |
---|---|
Cyhoeddwr | Cambridge University Press |
Cyfrol | 304 |