The following pages link to (Q4875224):
Displaying 6 items.
- Reachability problems in quaternion matrix and rotation semigroups (Q958311) (← links)
- Algorithms for matrix groups and the Tits alternative (Q1288201) (← links)
- Knapsack in graph groups (Q1702854) (← links)
- Algorithms for commutative algebras over the rational numbers (Q1704817) (← links)
- Vector and scalar reachability problems in \(\operatorname{SL}(2, \mathbb{Z})\) (Q1740664) (← links)
- Termination of linear loops under commutative updates (Q6060374) (← links)
