20 citations · 32 across the 8 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.GR2016
New refiners for permutation group search
Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker
We describe how orbital graphs can be used to improve the practical performance of many algorithms for permutation groups, including intersection and stabilizer problems. First we…
cs.MS2016★ 20 cited
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov +3
OpenDreamKit --- "Open Digital Research Environment Toolkit for the Advancement of Mathematics" --- is an H2020 EU Research Infrastructure project that aims at supporting, over the…
math.GR2016
Finite presentability and isomorphism of Cayley graphs of monoids
J. Awang, M. Pfeiffer, N. Ruskuc
Two finitely generated monoids are constructed, one finitely presented the other not, whose (directed, unlabelled) Cayley graphs are isomorphic.