scientific article; zbMATH DE number 742945
From MaRDI portal
Publication:4763386
Software, source code, etc. for problems pertaining to group theory (20-04) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Linear algebraic groups over the reals, the complexes, the quaternions (20G20) Analysis of algorithms and problem complexity (68Q25)
Recommendations
Cited in
(5)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4763386)