[go: up one dir, main page]

Follow
Markus Pfeiffer
Markus Pfeiffer
Research Fellow, University of St Andrews
Verified email at st-andrews.ac.uk - Homepage
Title
Cited by
Cited by
Year
Semigroups-GAP package
JD Mitchell, M Delgado, J East, A Egri-Nagy, J Jonusas, M Pfeiffer, ...
Version 2 (0), 2016
402016
Interoperability in the OpenDreamKit project: the math-in-the-middle approach
PO Dehaye, M Iancu, M Kohlhase, A Konovalov, S Lelièvre, D Müller, ...
International Conference On Intelligent Computer Mathematics, 117-131, 2016
372016
Minimal and canonical images
C Jefferson, E Jonauskyte, M Pfeiffer, R Waldecker
Journal of Algebra 521, 481-506, 2019
242019
Constructing Majorana Representations
M Pfeiffer, M Whybrow
arXiv preprint arXiv:1803.10723, 2018
142018
New refiners for permutation group search
C Jefferson, M Pfeiffer, R Waldecker
Journal of Symbolic Computation 92, 70-92, 2019
122019
Permutation group algorithms based on directed graphs
C Jefferson, M Pfeiffer, WA Wilson, R Waldecker
Journal of Algebra 585, 723-758, 2021
92021
Polynomial-time proofs that groups are hyperbolic
D Holt, S Linton, M Neunhöffer, R Parker, M Pfeiffer, CM Roney-Dougal
Journal of Symbolic Computation 104, 419-475, 2021
92021
Context-free word problem semigroups
T Brough, AJ Cain, M Pfeiffer
International Conference on Developments in Language Theory, 292-305, 2019
92019
Knowledge-based interoperability for mathematical software systems
M Kohlhase, L De Feo, D Müller, M Pfeiffer, F Rabe, NM Thiéry, ...
International Conference on Mathematical Aspects of Computer and Information …, 2017
92017
images, minimal and canonical images, Version 1.3. 0
C Jefferson, M Pfeiffer, R Waldecker, E Jonauskyte
62019
Decision problems for word-hyperbolic semigroups
AJ Cain, M Pfeiffer
Journal of Algebra 465, 287-321, 2016
62016
Deciding word problems of semigroups using finite state automata
M Neunhöffer, M Pfeiffer, N Ruskuc
arXiv preprint arXiv:1206.1714, 2012
62012
Adventures in applying iteration lemmas
MJ Pfeiffer
University of St Andrews, 2013
52013
GAP Package, Images, 2019
C Jefferson, M Pfeiffer, R Waldecker, E Jonauskyte
5
Permutation group algorithms based on directed graphs (extended version)
C Jefferson, M Pfeiffer, R Waldecker, WA Wilson
arXiv preprint arXiv:1911.04783, 2019
42019
Automata and growth functions for the triangle groups
M Pfeiffer, G Hiß
Diploma Thesis in Computer Science, Rheinisch-Westfälische Technische …, 2008
42008
Two variants of the Froidure–Pin Algorithm for finite semigroups
J Jonušas, JD Mitchell, M Pfeiffer
Portugaliae Mathematica 74 (3), 173-200, 2018
32018
Digraphs
M Anagnostopoulou-Merkouri
12025
Finite presentability and isomorphism of Cayley graphs of monoids
J Awang, M Pfeiffer, N Ruškuc
Proceedings of the American Mathematical Society 145 (11), 4585-4593, 2017
12017
Computational aspects of orbital graphs
P Hähndel, C Jefferson, M Pfeiffer, R Waldecker
submitted, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20