The following pages link to Markus Pfeiffer (Q306544):
Displaying 10 items.
- Decision problems for word-hyperbolic semigroups (Q306545) (← links)
- Francy -- an interactive discrete mathematics framework for GAP (Q1662271) (← links)
- Minimal and canonical images (Q1755579) (← links)
- New refiners for permutation group search (Q1757005) (← links)
- Permutation group algorithms based on directed graphs (Q2042953) (← links)
- Polynomial-time proofs that groups are hyperbolic (Q2229726) (← links)
- Context-free word problem semigroups (Q2327563) (← links)
- Two variants of the Froidure-Pin algorithm for finite semigroups (Q2413194) (← links)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)
- Knowledge-Based Interoperability for Mathematical Software Systems (Q4628490) (← links)
