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
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, ...
Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016
372016
Semigroups-GAP package
JD Mitchell, M Delgado, J East, A Egri-Nagy, J Jonusas, M Pfeiffer, ...
Version, 2015
322015
Minimal and canonical images
C Jefferson, E Jonauskyte, M Pfeiffer, R Waldecker
Journal of Algebra 521, 481-506, 2019
222019
Constructing Majorana Representations
M Pfeiffer, M Whybrow
arXiv preprint arXiv:1803.10723, 2018
122018
New refiners for permutation group search
C Jefferson, M Pfeiffer, R Waldecker
Journal of Symbolic Computation 92, 70-92, 2019
112019
Permutation group algorithms based on directed graphs
C Jefferson, M Pfeiffer, WA Wilson, R Waldecker
Journal of Algebra 585, 723-758, 2021
92021
Knowledge-based interoperability for mathematical software systems
M Kohlhase, L De Feo, D Müller, M Pfeiffer, F Rabe, NM Thiéry, ...
Mathematical Aspects of Computer and Information Sciences: 7th International …, 2017
92017
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
62021
images, minimal and canonical images, Version 1.3. 0
C Jefferson, M Pfeiffer, R Waldecker, E Jonauskyte
62019
Context-free word problem semigroups
T Brough, AJ Cain, M Pfeiffer
Developments in Language Theory: 23rd International Conference, DLT 2019 …, 2019
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
52012
Permutation group algorithms based on directed graphs (extended version)
C Jefferson, M Pfeiffer, R Waldecker, WA Wilson
arXiv preprint arXiv:1911.04783, 2019
42019
Adventures in applying iteration lemmas
MJ Pfeiffer
University of St Andrews, 2013
42013
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
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
Safety first: targeting embedded systems with full-spectrum dependent types
C Schwaab, M Pfeiffer, E Brady
TFP, 2015
12015
Francy-an interactive discrete mathematics framework for GAP
M Machado Martins, M Pfeiffer
Mathematical Software–ICMS 2018: 6th International Conference, South Bend …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20