dc.contributor.author | Egri-Nagy, Attila | |
dc.contributor.author | Mitchell, James D. | |
dc.contributor.author | Nehaniv, C.L. | |
dc.date.accessioned | 2015-03-03T09:33:24Z | |
dc.date.available | 2015-03-03T09:33:24Z | |
dc.date.issued | 2014 | |
dc.identifier.citation | Egri-Nagy , A , Mitchell , J D & Nehaniv , C L 2014 , SgpDec : Cascade (de)compositions of finite transformation semigroups and permutation groups . in Mathematical Software - LCMS 2014 . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 8592 , Springer Nature , pp. 75-82 , 4th International Congress on Mathematical Software, ICMS 2014 , Seoul , Unknown , 5/08/14 . https://doi.org/10.1007/978-3-662-44199-2_13 | |
dc.identifier.citation | conference | |
dc.identifier.isbn | 9783662441985 | |
dc.identifier.isbn | 978-3-662-44199-2 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://hdl.handle.net/2299/15504 | |
dc.description.abstract | We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath products, the so called cascade products. | en |
dc.format.extent | 8 | |
dc.format.extent | 360392 | |
dc.language.iso | eng | |
dc.publisher | Springer Nature | |
dc.relation.ispartof | Mathematical Software - LCMS 2014 | |
dc.relation.ispartofseries | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
dc.subject | Krohn-Rhodes Theory | |
dc.subject | permutation group | |
dc.subject | transformation semigroup | |
dc.subject | wreath product | |
dc.subject | Computer Science(all) | |
dc.subject | Theoretical Computer Science | |
dc.title | SgpDec : Cascade (de)compositions of finite transformation semigroups and permutation groups | en |
dc.contributor.institution | Algorithms | |
dc.contributor.institution | Biocomputation Research Group | |
dc.contributor.institution | Centre for Computer Science and Informatics Research | |
dc.contributor.institution | School of Computer Science | |
dc.contributor.institution | Science & Technology Research Institute | |
dc.contributor.institution | Adaptive Systems | |
rioxxterms.versionofrecord | 10.1007/978-3-662-44199-2_13 | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |