Markus Pfeiffer

16 papers C 2Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2021 J jnl
Polynomial-time proofs that groups are hyperbolic.
J. Symb. Comput.
Derek F. Holt, Stephen A. Linton, Max Neunhöffer, Richard Parker, Markus Pfeiffer, Colva M. Roney-Dougal
2019 C conf
Context-Free Word Problem Semigroups.
DLT
Tara Brough, Alan J. Cain, Markus Pfeiffer
2019 J jnl
Context-free word problem semigroups.
CoRR
Tara Brough, Alan J. Cain, Markus Pfeiffer
2019 — ed.
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018.
CICM Workshops
Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács
2019 J jnl
New refiners for permutation group search.
J. Symb. Comput.
Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker
2018 — conf
Francy - An Interactive Discrete Mathematics Framework for GAP.
ICMS
Manuel Machado Martins, Markus Pfeiffer
2018 J jnl
Francy - An Interactive Discrete Mathematics Framework for GAP.
CoRR
Manuel Machado Martins, Markus Pfeiffer
2017 — conf
Knowledge-Based Interoperability for Mathematical Software Systems.
MACIS
Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing
2017 J jnl
Minimal and Canonical Images.
CoRR
Christopher Jefferson, Eliza Jonauskyte, Markus Pfeiffer, Rebecca Waldecker
2017 J jnl
Orbital Graphs.
CoRR
Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker
2017 J jnl
Parallel algorithms for computing finite semigroups.
CoRR
J. Jonusas, James D. Mitchell, Markus Pfeiffer
2017 J jnl
Report on BCTCS 2017.
Bull. EATCS
Markus Pfeiffer
2016 C conf
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.
CICM
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
2016 J jnl
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.
CoRR
Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Markus Pfeiffer, Nicolas M. Thiéry
2016 J jnl
New refiners for permutation group search.
CoRR
Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker
2012 J jnl
Deciding Word Problems of Semigroups using Finite State Automata
CoRR
Max Neunhöffer, Markus Pfeiffer, Nik Ruskuc