swMATH4845MaRDI QIDQ17002FDOQ17002
Author name not available (Why is that?)
Official website: http://www.warwick.ac.uk/~mareg/kbmag/
Source code repository: https://github.com/gap-packages/kbmag
Cited In (35)
- gpcheckx
- Title not available (Why is that?)
- The groups \(G^{m,n,p}\).
- Hyperbolic groups of Fibonacci type and T(5) cyclically presented groups
- Biautomatic structures in systolic Artin groups
- KNUTH–BENDIX FOR GROUPS WITH INFINITELY MANY RULES
- Stallings graphs for quasi-convex subgroups
- Low time complexity algorithms for path computation in Cayley graphs
- Polynomial-time proofs that groups are hyperbolic
- The Development of the Theory of Automatic Groups
- Fractional Fibonacci groups with an odd number of generators
- The twisted twin of the Grigorchuk group.
- Cyclically presented groups and resultants.
- Computing automatic coset systems and subgroup presentations
- Presentations for crystallographic complex reflection groups
- Hyperbolicity of \(T(6)\) cyclically presented groups
- Verifying the Straight-and-spaced Condition
- On irreducible cyclic presentations of the trivial group.
- Fibonacci groups \(F(2,n)\) are hyperbolic for \(n\) odd and \(n\geq 11\)
- On a certain class of cyclically presented groups.
- NQL
- MAF
- recog
- Computing subgroup presentations, using the coherence arguments of McCammond and Wise.
- Three-manifolds with Heegaard genus at most two represented by crystallisations with at most 42 vertices
- walrus
- AUTOMATA
- tools-for-cyclically-presented-groups
- On the Tits alternative for cyclically presented groups with length-four positive relators
- Efficiency issues in the KBMAG procedure
- GROUPS WHOSE GEODESICS ARE LOCALLY TESTABLE
- The strong approximation theorem and computing with linear groups
- Zariski density and computing with \(S\)-integral groups
- Efficient computation in word-hyperbolic groups
- Title not available (Why is that?)
This page was built for software: kbmag
