Publication:4763386
From MaRDI portal
zbMath0828.20032MaRDI QIDQ4763386
Publication date: 11 April 1995
68Q25: Analysis of algorithms and problem complexity
20F05: Generators, relations, and presentations of groups
20G20: Linear algebraic groups over the reals, the complexes, the quaternions
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
20-04: Software, source code, etc. for problems pertaining to group theory
Related Items
On deciding finiteness of matrix groups., Algorithms for matrix groups and the Tits alternative, Universality of single-qudit gates, Linear groups and computation