References

[BrGhHeWe] Brown, R. and Ghani, N. and Heyworth, A. and Wensley, C. D. String rewriting systems for double coset systems, J. Symbolic Comput., 41, (2006), p. 573--590

[BrHe] Brown, R. and Heyworth, A. Using rewriting systems to compute left Kan extensions and induced actions of categories, J. Symbolic Comput., 29, (2000), p. 5--31

[anne-thesis] Heyworth, A. Applications of Rewriting Systems and Groebner Bases to Computing Kan Extensions and Identities Among Relations, University of Wales, Bangor, (1999)

[SteveL] Linton, S. Double coset enumeration, J. Symbolic Comput., 12, (1991), p. 415--426




generated by GAPDoc2HTML