10 citations · 16 across the 6 of their papers we have counts for
7 papers
Computing canonical images in permutation groups with Graph Backtracking
Christopher Jefferson, Rebecca Waldecker, Wilf A. Wilson
We describe a new algorithm for finding a canonical image of an object under the action of a finite permutation group. This algorithm builds on previous work using Graph Backtracki…
Perfect refiners for permutation group backtracking algorithms
Christopher Jefferson, Rebecca Waldecker, Wilf A. Wilson
Backtrack search is a fundamental technique for computing with finite permutation groups, which has been formulated in terms of points, ordered partitions, and graphs. We provide a…
Permutation group algorithms based on directed graphs
Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker +1
We introduce a new framework for solving an important class of computational problems involving finite permutation groups, which includes calculating set stabilisers, intersections…
Minimal generating sets for matrix monoids
F. Hivert, J. D. Mitchell, F. L. Smith +1
In this paper, we determine minimal generating sets for several well-known monoids of matrices over semirings. In particular, we find minimal generating sets for the monoids consis…
Permutation group algorithms based on directed graphs (extended version)
Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker +1
We introduce a new framework for solving an important class of computational problems involving finite permutation groups, which includes calculating set stabilisers, intersections…
Maximal subsemigroups of finite transformation and diagram monoids
James East, Jitender Kumar, James D. Mitchell +1
We describe and count the maximal subsemigroups of many well-known monoids of transformations and monoids of partitions. More precisely, we find the maximal subsemigroups of the fu…
Computing maximal subsemigroups of a finite semigroup
C. R. Donoven, J. D. Mitchell, W. A. Wilson
A proper subsemigroup of a semigroup is maximal if it is not contained in any other proper subsemigroup. A maximal subsemigroup of a finite semigroup has one of a small number of f…