The following pages link to kbmag (Q17002):
Displaying 28 items.
- Efficiency issues in the KBMAG procedure (Q649584) (← links)
- Hyperbolic groups of Fibonacci type and T(5) cyclically presented groups (Q831285) (← links)
- Computing automatic coset systems and subgroup presentations (Q1284217) (← links)
- Presentations for crystallographic complex reflection groups (Q1377340) (← links)
- Low time complexity algorithms for path computation in Cayley graphs (Q1735699) (← links)
- Fractional Fibonacci groups with an odd number of generators (Q2131813) (← links)
- Hyperbolicity of \(T(6)\) cyclically presented groups (Q2141716) (← links)
- On the Tits alternative for cyclically presented groups with length-four positive relators (Q2170268) (← links)
- Polynomial-time proofs that groups are hyperbolic (Q2229726) (← links)
- Stallings graphs for quasi-convex subgroups (Q2401628) (← links)
- The strong approximation theorem and computing with linear groups (Q2415313) (← links)
- On a certain class of cyclically presented groups. (Q2428077) (← links)
- Three-manifolds with Heegaard genus at most two represented by crystallisations with at most 42 vertices (Q2455582) (← links)
- The groups \(G^{m,n,p}\). (Q2470400) (← links)
- Computing subgroup presentations, using the coherence arguments of McCammond and Wise. (Q2496857) (← links)
- Fibonacci groups \(F(2,n)\) are hyperbolic for \(n\) odd and \(n\geq 11\) (Q2657661) (← links)
- Zariski density and computing with \(S\)-integral groups (Q2698475) (← links)
- (Q2702046) (← links)
- On Irreducible Cyclic Presentations of the Trivial Group (Q2875535) (← links)
- (Q2978236) (← links)
- (Q3375561) (← links)
- GROUPS WHOSE GEODESICS ARE LOCALLY TESTABLE (Q3528858) (← links)
- CYCLICALLY PRESENTED GROUPS AND RESULTANTS (Q3578453) (← links)
- THE TWISTED TWIN OF THE GRIGORCHUK GROUP (Q3580221) (← links)
- KNUTH–BENDIX FOR GROUPS WITH INFINITELY MANY RULES (Q4786262) (← links)
- Biautomatic structures in systolic Artin groups (Q4994446) (← links)
- The Development of the Theory of Automatic Groups (Q5055450) (← links)
- Verifying the Straight-and-spaced Condition (Q5886553) (← links)
