Steve Linton
Steve Linton
Professor of Computer Science, University of St Andrews
Verified email at st-andrews.ac.uk
TitleCited byYear
Atlas of finite group representations
R Wilson, P Walsh, J Tripp, I Suleiman, S Rogers, R Parker, S Norton, ...
2221999
Generic SBDD using computational group theory
IP Gent, W Harvey, T Kelsey, S Linton
International Conference on Principles and Practice of Constraint …, 2003
952003
Tractable symmetry breaking using restricted search trees
CM Roney-Dougal, IP Gent, T Kelsey, S Linton
ECAI 16, 211, 2004
872004
The insertion encoding of permutations
MH Albert, S Linton, N Ruškuc
the electronic journal of combinatorics 12 (1), 47, 2005
662005
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
622005
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
551991
The maximal subgroups of the Thompson group
SA Linton
Journal of the London Mathematical Society 2 (1), 79-88, 1989
511989
Computer construction of the Monster
S Linton, R Parker, P Walsh, R Wilson
Journal of Group Theory 1, 307-338, 1998
441998
Conditional symmetry breaking
IP Gent, T Kelsey, SA Linton, I McDonald, I Miguel, BM Smith
International Conference on Principles and Practice of Constraint …, 2005
422005
Counting cases in marching cubes: Toward a generic algorithm for producing substitopes
DC Banks, S Linton
Proceedings of the 14th IEEE Visualization 2003 (VIS'03), 8, 2003
422003
Automated theorem proving in support of computer algebra: symbolic definite integration as a case study
AA Adams, H Gottliebsen, S Linton, U Martin
ISSAC 99, 253-260, 1999
381999
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
352008
Lightweight formal methods for computer algebra systems
M Dunstan, T Kelsey, S Linton, U Martin
ISSAC 98, 1998
331998
On vector enumeration
SA Linton
Linear algebra and its applications 192, 235-248, 1993
331993
Counting cases in substitope algorithms
DC Banks, SA Linton, PK Stockmeyer
IEEE Transactions on Visualization and Computer Graphics 10 (4), 371-384, 2004
322004
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
321995
A World-Wide-Web Atlas of finite group representations
RA Wilson, P Walsh, J Tripp, I Suleiman, R Parker, S Norton, S Nickerson, ...
30
Constructing matrix representations of finitely presented groups
SA Linton
Journal of symbolic computation 12 (4-5), 427-438, 1991
281991
New developments in symmetry breaking in search using computational group theory
T Kelsey, S Linton, C Roney-Dougal
International Conference on Artificial Intelligence and Symbolic Computation …, 2004
272004
Double coset enumeration
SA Linton
Journal of symbolic computation 12 (4-5), 415-426, 1991
261991
The system can't perform the operation now. Try again later.
Articles 1–20