Steve Linton
Steve Linton
Professor of Computer Science, University of St Andrews
Bestätigte E-Mail-Adresse bei st-andrews.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
Atlas of finite group representations
R Wilson, P Walsh, J Tripp, I Suleiman, S Rogers, R Parker, S Norton, ...
2431999
Generic SBDD using computational group theory
IP Gent, W Harvey, T Kelsey, S Linton
International Conference on Principles and Practice of Constraint …, 2003
982003
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
752005
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
601991
The maximal subgroups of the Thompson group
SA Linton
Journal of the London Mathematical Society 2 (1), 79-88, 1989
551989
Conditional symmetry breaking
IP Gent, T Kelsey, SA Linton, I McDonald, I Miguel, BM Smith
International Conference on Principles and Practice of Constraint …, 2005
482005
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
462003
Computer construction of the Monster
S Linton, R Parker, P Walsh, R Wilson
Journal of Group Theory 1, 307-338, 1998
451998
Counting cases in substitope algorithms
DC Banks, SA Linton, PK Stockmeyer
IEEE Transactions on Visualization and Computer Graphics 10 (4), 371-384, 2004
372004
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
351995
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, ...
34
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
332008
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
331998
Permutation Patterns
S Linton, N Ruškuc, V Vatter
Cambridge University Press, 2010
292010
Constructing matrix representations of finitely presented groups
SA Linton
Journal of symbolic computation 12 (4-5), 427-438, 1991
291991
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20