Markus Pfeiffer

According to our database, Markus Pfeiffer authored at least 12 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Polynomial-time proofs that groups are hyperbolic.

Derek F. Holt, Stephen A. Linton, Max Neunhöffer, Richard Parker, Markus Pfeiffer, Colva M. Roney-Dougal

J. Symb. Comput., 2021

2019

New refiners for permutation group search.

Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker

J. Symb. Comput., 2019

Context-Free Word Problem Semigroups.

Tara Brough, Alan J. Cain, Markus Pfeiffer

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

2018

Francy - An Interactive Discrete Mathematics Framework for GAP.

Manuel Machado Martins, Markus Pfeiffer

Proceedings of the Mathematical Software - ICMS 2018, 2018

2017

Report on BCTCS 2017.

Markus Pfeiffer

Bull. EATCS, 2017

Parallel algorithms for computing finite semigroups.

J. Jonusas, James D. Mitchell, Markus Pfeiffer

CoRR, 2017

Orbital Graphs.

Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker

CoRR, 2017

Minimal and Canonical Images.

Christopher Jefferson, Eliza Jonauskyte, Markus Pfeiffer, Rebecca Waldecker

CoRR, 2017

Knowledge-Based Interoperability for Mathematical Software Systems.

Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017

2016

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.

Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Markus Pfeiffer, Nicolas M. Thiéry

CoRR, 2016

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.

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

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

2012

Deciding Word Problems of Semigroups using Finite State Automata

Max Neunhöffer, Markus Pfeiffer, Nik Ruskuc

CoRR, 2012