Publication:4335288
From MaRDI portal
zbMath0871.68107MaRDI QIDQ4335288
Publication date: 5 October 1997
68W30: Symbolic computation and algebraic computation
Related Items
Black-box recognition of finite simple groups of Lie type by statistics of element orders, Linear and sublinear time algorithms for the basis of abelian groups, Constructive homomorphisms for classical groups., An algorithm for Lang's theorem., Computer construction of split Cartan subalgebras, Short presentations for finite groups, Fast constructive recognition of a black box group isomorphic to \(S_n\) or \(A_n\) using Goldbach's conjecture, The product replacement algorithm and Kazhdan’s property (T), Short presentations for alternating and symmetric groups, THE ANDREWS–CURTIS CONJECTURE AND BLACK BOX GROUPS