Markus Pfeiffer

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 14

Top Topics

Software Systems

Top Venues

J. Symb. Comput.

Publications

Derek Holt, Stephen A. Linton, Max Neunhöffer, Richard Parker, Markus Pfeiffer, Colva M. Roney-Dougal
Polynomial-time proofs that groups are hyperbolic. J. Symb. Comput. 104 (2021)
Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker
New refiners for permutation group search. J. Symb. Comput. 92 (2019)
Tara Brough, Alan J. Cain, Markus Pfeiffer
Context-free word problem semigroups. CoRR (2019)
Tara Brough, Alan J. Cain, Markus Pfeiffer
Context-Free Word Problem Semigroups. DLT (2019)
Manuel Machado Martins, Markus Pfeiffer
Francy - An Interactive Discrete Mathematics Framework for GAP. CoRR (2018)
Manuel Machado Martins, Markus Pfeiffer
Francy - An Interactive Discrete Mathematics Framework for GAP. ICMS (2018)
Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing
Knowledge-Based Interoperability for Mathematical Software Systems. MACIS (2017)
Markus Pfeiffer
Report on BCTCS 2017. Bull. EATCS 122 (2017)
Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker
Orbital Graphs. CoRR (2017)
Christopher Jefferson, Eliza Jonauskyte, Markus Pfeiffer, Rebecca Waldecker
Minimal and Canonical Images. CoRR (2017)
J. Jonusas, James D. Mitchell, Markus Pfeiffer
Parallel algorithms for computing finite semigroups. CoRR (2017)
Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM (2016)
Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Markus Pfeiffer, Nicolas M. Thiéry
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CoRR (2016)
Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker
New refiners for permutation group search. CoRR (2016)
Max Neunhöffer, Markus Pfeiffer, Nik Ruskuc
Deciding Word Problems of Semigroups using Finite State Automata CoRR (2012)