The Todd-Coxeter procedure and left Kan extensions

From MaRDI portal

Publication:1904139

Jump to:navigation, search

DOI10.1006/jsco.1995.1027zbMath0838.18002OpenAlexW2042767697MaRDI QIDQ1904139

M. Leeming, S. Carmody, Robert F. C. Walters

Publication date: 27 May 1996

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1995.1027

zbMATH Keywords

relations generators computational algebra left Kan extension enumeration of cosets Todd-Coxeter procedure

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (4)

Automatic semigroups and categories. ⋮ A database of categories. ⋮ Computing over K-modules ⋮ Fast left Kan extensions using the chase

This page was built for publication: The Todd-Coxeter procedure and left Kan extensions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1904139&oldid=14319835"

Pages with script errors