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, ...
International Conference on Intelligent Computer Mathematics, 117-131, 2016
242016
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
82017
Constructing Majorana Representations
M Pfeiffer, M Whybrow
arXiv preprint arXiv:1803.10723, 2018
72018
Minimal and canonical images
C Jefferson, E Jonauskyte, M Pfeiffer, R Waldecker
Journal of Algebra 521, 481-506, 2019
42019
Adventures in applying iteration lemmas
MJ Pfeiffer
University of St Andrews, 2013
42013
Deciding word problems of semigroups using finite state automata
M Neunhöffer, M Pfeiffer, N Ruskuc
arXiv preprint arXiv:1206.1714, 2012
42012
New refiners for permutation group search
C Jefferson, M Pfeiffer, R Waldecker
Journal of Symbolic Computation 92, 70-92, 2019
32019
Two variants of the Froiduire-Pin Algorithm for finite semigroups
J Jonušas, JD Mitchell, M Pfeiffer
arXiv preprint arXiv:1704.04084, 2017
32017
Automata and growth functions for the triangle groups
M Pfeiffer, G Hiß
Diploma Thesis in Computer Science, Rheinisch-Westfälische Technische …, 2008
32008
Decision problems for word-hyperbolic semigroups
AJ Cain, M Pfeiffer
Journal of Algebra 465, 287-321, 2016
22016
Permutation group algorithms based on directed graphs
C Jefferson, M Pfeiffer, R Waldecker, WA Wilson
arXiv preprint arXiv:1911.04783, 2019
12019
Context-free word problem semigroups
T Brough, AJ Cain, M Pfeiffer
International Conference on Developments in Language Theory, 292-305, 2019
12019
Polynomial-time proofs that groups are hyperbolic
D Holt, S Linton, M Neunhoeffer, R Parker, M Pfeiffer, CM Roney-Dougal
arXiv preprint arXiv:1905.09770, 2019
12019
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
MM Martins, M Pfeiffer
International Congress on Mathematical Software, 352-358, 2018
2018
Francy-An Interactive Discrete Mathematics Framework for GAP
M Machado Martins, M Pfeiffer
arXiv preprint arXiv:1806.08648, 2018
2018
Orbital Graphs
P Hähndel, C Jefferson, M Pfeiffer, R Waldecker
arXiv preprint arXiv:1703.04272, 2017
2017
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
T Nicolas, PO Dehaye, M Kohlhase, A Konovalov, S Lelièvre, M Pfeiffer
2016
Finite presentability and isomorphism of Cayley graphs of monoids
J Awang, M Pfeiffer, N Ruskuc
arXiv preprint arXiv:1602.08502, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20