Research Portal

Logged rewriting and identities among relators

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Standard Standard

Logged rewriting and identities among relators. / Heyworth, Anne; Wensley, Christopher D.
Groups St Andrews 2001 in Oxford. ed. / C. M. Campbell; E. F. Robertson; G. C. Smith. Vol. 1 Cambridge: Cambridge University Press, 2003. p. 256-276 (London Mathematical Society Lecture Note Series; Vol. 304).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

HarvardHarvard

Heyworth, A & Wensley, CD 2003, Logged rewriting and identities among relators. in CM Campbell, EF Robertson & GC Smith (eds), Groups St Andrews 2001 in Oxford. vol. 1, London Mathematical Society Lecture Note Series, vol. 304, Cambridge University Press, Cambridge, pp. 256-276.

APA

Heyworth, A., & Wensley, C. D. (2003). Logged rewriting and identities among relators. In C. M. Campbell, E. F. Robertson, & G. C. Smith (Eds.), Groups St Andrews 2001 in Oxford (Vol. 1, pp. 256-276). (London Mathematical Society Lecture Note Series; Vol. 304). Cambridge University Press.

CBE

Heyworth A, Wensley CD. 2003. Logged rewriting and identities among relators. Campbell CM, Robertson EF, Smith GC, editors. In Groups St Andrews 2001 in Oxford. Cambridge: Cambridge University Press. pp. 256-276. (London Mathematical Society Lecture Note Series).

MLA

Heyworth, Anne and Christopher D. Wensley "Logged rewriting and identities among relators"., Campbell, C. M. Robertson, E. F. Smith, G. C. (editors). Groups St Andrews 2001 in Oxford. London Mathematical Society Lecture Note Series. Cambridge: Cambridge University Press. 2003, 256-276.

VancouverVancouver

Heyworth A, Wensley CD. Logged rewriting and identities among relators. In Campbell CM, Robertson EF, Smith GC, editors, Groups St Andrews 2001 in Oxford. Vol. 1. Cambridge: Cambridge University Press. 2003. p. 256-276. (London Mathematical Society Lecture Note Series).

Author

Heyworth, Anne ; Wensley, Christopher D. / Logged rewriting and identities among relators. Groups St Andrews 2001 in Oxford. editor / C. M. Campbell ; E. F. Robertson ; G. C. Smith. Vol. 1 Cambridge : Cambridge University Press, 2003. pp. 256-276 (London Mathematical Society Lecture Note Series).

RIS

TY - GEN

T1 - Logged rewriting and identities among relators

AU - Heyworth, Anne

AU - Wensley, Christopher D.

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

M3 - Conference contribution

SN - 0521537398

VL - 1

T3 - London Mathematical Society Lecture Note Series

SP - 256

EP - 276

BT - Groups St Andrews 2001 in Oxford

A2 - Campbell, C. M.

A2 - Robertson, E. F.

A2 - Smith, G. C.

PB - Cambridge University Press

CY - Cambridge

ER -