Atlas of finite group representations RA Wilson, P Walsh, J Tripp, I Suleiman, S Rogers, R Parker, S Norton, ... | 279 | 1999 |
Atlas of finite group representations-version 3 R Wilson, P Walsh, J Tripp, I Suleiman, R Parker, S Norton, S Nickerson, ... available at the time of writing from http://brauer. maths. qmul. ac. uk …, 2005 | 111 | 2005 |
Generic SBDD using computational group theory IP Gent, W Harvey, T Kelsey, S Linton Principles and Practice of Constraint Programming–CP 2003: 9th International …, 2003 | 100 | 2003 |
Tractable symmetry breaking using restricted search trees CM Roney-Dougal, IP Gent, T Kelsey, S Linton ECAI 16, 211, 2004 | 97 | 2004 |
The insertion encoding of permutations MH Albert, S Linton, N Ruškuc the electronic journal of combinatorics 12 (1), R47, 2005 | 92 | 2005 |
The Maximal Subgroups of the Fischer Groups Fi24 and Fi′24 SA Linton, RA Wilson Proceedings of the London Mathematical Society 3 (1), 113-164, 1991 | 68 | 1991 |
The maximal subgroups of the Thompson group SA Linton Journal of the London Mathematical Society 2 (1), 79-88, 1989 | 57 | 1989 |
Conditional symmetry breaking IP Gent, T Kelsey, SA Linton, I McDonald, I Miguel, BM Smith International Conference on Principles and Practice of Constraint …, 2005 | 52 | 2005 |
Computer construction of the Monster R Wilson, P Walsh, R Parker, S Linton Walter de Gruyter GmbH & Co. KG 1 (4), 307-337, 1998 | 52 | 1998 |
A World-Wide-Web Atlas of finite group representations RA Wilson, P Walsh, J Tripp, I Suleiman, R Parker, S Norton, S Nickerson, ... | 48 | |
Counting cases in marching cubes: Toward a generic algorithm for producing substitopes DC Banks, S Linton IEEE Visualization, 2003. VIS 2003., 51-58, 2003 | 47 | 2003 |
Automated theorem proving in support of computer algebra: symbolic definite integration as a case study AA Adams, H Gottliebsen, SA Linton, U Martin Proceedings of the 1999 international symposium on Symbolic and algebraic …, 1999 | 45 | 1999 |
Distance-transitive representations of the sporadic groups AA Ivanov, SA Linton, K Lux, J Saxl, LH Soicher Communications in Algebra 23 (9), 3379-3427, 1995 | 41 | 1995 |
Counting cases in substitope algorithms DC Banks, SA Linton, PK Stockmeyer IEEE Transactions on Visualization and Computer Graphics 10 (4), 371-384, 2004 | 39 | 2004 |
Finding the smallest image of a set S Linton Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004 | 36 | 2004 |
Lightweight formal methods for computer algebra systems M Dunstan, T Kelsey, S Linton, U Martin Proceedings of the 1998 international symposium on Symbolic and algebraic …, 1998 | 36 | 1998 |
On vector enumeration SA Linton Linear algebra and its applications 192, 235-248, 1993 | 36 | 1993 |
Torsion units in integral group ring of the Mathieu simple group M22 VA Bovdi, AB Konovalov, S Linton LMS Journal of Computation and Mathematics 11, 28-39, 2008 | 33 | 2008 |
Permutation Patterns S Linton, N Ruškuc, V Vatter Cambridge University Press, 2010 | 32 | 2010 |
Constructing matrix representations of finitely presented groups SA Linton Journal of symbolic computation 12 (4-5), 427-438, 1991 | 32 | 1991 |