The following pages link to (Q3256325):
Displaying 7 items.
- Finding non-trivial elements and splittings in groups. (Q716463) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. II (Q1067006) (← links)
- Two decidable Markov properties over a class of solvable groups (Q1159764) (← links)
- Detecting properties from descriptions of groups (Q2309493) (← links)
- Algorithmic recognition of infinite cyclic extensions (Q2396795) (← links)
- On the group property recognition problem (Q2550809) (← links)