9 citations · 29 across the 21 of their papers we have counts for
Showing 2015 · math.GRShow all
2 papers · 2 filters
math.GR2015★ 6 cited
Computational Holonomy Decomposition of Transformation Semigroups
Attila Egri-Nagy, Chrystopher L. Nehaniv
We present an understandable, efficient, and streamlined proof of the Holonomy Decomposition for finite transformation semigroups and automata. This constructive proof closely foll…
math.GR2015
SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups
Attila Egri-Nagy, James D. Mitchell, Chrystopher L. Nehaniv
We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructi…