An international research project within computational group theory. The aim is to produce efficient algorithms for solving problems with matrix groups over ...

In the rst part of this note we present a Monte Carlo algorithm that decides if a given set of matrices generates a group containing the special linear group.

... other ... and Leedham-Green, C. R., A constructive recognition algorithm for the special linear ... recognition algorithm for non-generic classical groups ...

These are nonconstructive recognition algorithms, outputting either “G contains a normal classical group”, or “G probably does not contain any classical group ...

A non-constructive recognition algorithm for the special linear and other classical groups. Celler F., Leedham-Green C. Expand. Publication type: Book Chapter.

We present an algorithm which recognises, constructively, when G is Sp(V), SU(V) or . Our algorithm handles all of those classical groups uniformly and runs in ...

DIMACS Series 28, 1997. [3] Frank Celler and C.R. Leedham-Green, ``A Non-Constructive Recognition Algorithm for the Special Linear and Other Classical Groups'', ...

A non-constructive recognition algorithm for the special linear and other classical groups. Frank Celler, C.R. Leedham-Green. 61. GAP/MPI: Facilitating ...

Celler and C. R. Leedham-Green, A non-constructive recognition algorithm for the special linear and other classical groups, [FK] 61–67. ... P. M. Neumann and ...

AMS, 1997. CLG97b: Frank Celler and C.R. Leedham-Green. A non-constructive recognition algorithm for the special linear and other classical groups.