Steve Linton
Steve Linton
Professor of Computer Science, University of St Andrews
Dirección de correo verificada de st-andrews.ac.uk
Título
Citado por
Citado por
Año
Atlas of finite group representations
R Wilson, P Walsh, J Tripp, I Suleiman, S Rogers, R Parker, S Norton, ...
2391999
Generic SBDD using computational group theory
IP Gent, W Harvey, T Kelsey, S Linton
International Conference on Principles and Practice of Constraint …, 2003
962003
Tractable symmetry breaking using restricted search trees
CM Roney-Dougal, IP Gent, T Kelsey, S Linton
ECAI 16, 211, 2004
902004
The insertion encoding of permutations
MH Albert, S Linton, N Ruškuc
the electronic journal of combinatorics 12 (1), R47, 2005
772005
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
742005
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
621991
The maximal subgroups of the Thompson group
SA Linton
Journal of the London Mathematical Society 2 (1), 79-88, 1989
541989
Conditional symmetry breaking
IP Gent, T Kelsey, SA Linton, I McDonald, I Miguel, BM Smith
International Conference on Principles and Practice of Constraint …, 2005
472005
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
471999
Counting cases in marching cubes: Toward a generic algorithm for producing substitopes
DC Banks, S Linton
IEEE Visualization, 2003. VIS 2003., 51-58, 2003
452003
Computer construction of the Monster
S Linton, R Parker, P Walsh, R Wilson
Journal of Group Theory 1, 307-338, 1998
441998
Counting cases in substitope algorithms
DC Banks, SA Linton, PK Stockmeyer
IEEE Transactions on Visualization and Computer Graphics 10 (4), 371-384, 2004
362004
On vector enumeration
SA Linton
Linear algebra and its applications 192, 235-248, 1993
351993
A World-Wide-Web Atlas of finite group representations
RA Wilson, P Walsh, J Tripp, I Suleiman, R Parker, S Norton, S Nickerson, ...
35
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
342008
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
341998
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
341995
Constructive membership in black-box groups
PE Holmes, SA Linton, EA O'Brien, AJE Ryba, RA Wilson
Journal of Group Theory 11 (6), 747-763, 2008
282008
Constructing matrix representations of finitely presented groups
SA Linton
Journal of symbolic computation 12 (4-5), 427-438, 1991
281991
Permutation Patterns
S Linton, N Ruškuc, V Vatter
Cambridge University Press, 2010
272010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20