Simple groups in computational group theory

zbMath0907.20001MaRDI QIDQ1126707

William M. Kantor

Publication date: 6 August 1998

Published in: Documenta Mathematica (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/222771

zbMATH Keywords

classificationfinite simple groupsefficient algorithmsgroup theoretic algorithms

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Finite simple groups and their classification (20D05) Software, source code, etc. for problems pertaining to group theory (20-04)

Related Items

Black box exceptional groups of Lie type. II. ⋮ Black box exceptional groups of Lie type

Uses Software

• Magma