The following pages link to (Q5665368):
Displayed 4 items.
- Algorithms for the Tits alternative and related problems. (Q765725) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Linear groups and computation (Q2292421) (← links)
- Solvability of the membership problem in finitely generated solvable matrix groups over number fields (Q2556485) (← links)