[BGHW06] Brown, R., Ghani, N., Heyworth, A. and Wensley, C. D., String rewriting systems for double coset systems, J. Symbolic Comput., 41 (2006), 573–590.
[BH00] Brown, R. and Heyworth, A., Using rewriting systems to compute left Kan extensions and induced actions of categories, J. Symbolic Comput., 29 (2000), 5–31.
[GH17] Gutsche, S. and Horn, M.,
AutoDoc - Generate documentation from GAP source code (Version 2017.09.15)
(2017)
(
GAP package, https://github.com/gap-packages/AutoDoc
).
[Hey99] Heyworth, A.,
Applications of Rewriting Systems and
Groebner Bases to Computing Kan Extensions
and Identities Among Relations,
Ph.D. thesis,
University of Wales, Bangor
(1999)
(
https://www.researchgate.net/profile/Anne-Heyworth/research
).
[Hor17] Horn, M.,
GitHubPagesForGAP - Template for easily using GitHub Pages within GAP packages (Version 0.2)
(2017)
(
GAP package, https://gap-system.github.io/GitHubPagesForGAP/
).
[Lin91] Linton, S., Double coset enumeration, J. Symbolic Comput., 12 (1991), 415–426.
[LN17] Lübeck, F. and Neunhöffer, M.,
GAPDoc (version 1.6),
RWTH Aachen
(2017)
(
GAP package,
https://www.math.rwth-aachen.de/~Frank.Luebeck/gap/GAPDoc/index.html
).
generated by GAPDoc2HTML