Sledovat
Steve Linton
Steve Linton
Professor of Computer Science, University of St Andrews
E-mailová adresa ověřena na: st-andrews.ac.uk
Název
Citace
Citace
Rok
Atlas of finite group representations
RA Wilson, P Walsh, J Tripp, I Suleiman, S Rogers, R Parker, S Norton, ...
2651999
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
1032005
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
1022003
Tractable symmetry breaking using restricted search trees
CM Roney-Dougal, IP Gent, T Kelsey, S Linton
ECAI 16, 211, 2004
912004
The insertion encoding of permutations
MH Albert, S Linton, N Ruškuc
the electronic journal of combinatorics 12 (1), R47, 2005
872005
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
641991
The maximal subgroups of the Thompson group
SA Linton
Journal of the London Mathematical Society 2 (1), 79-88, 1989
571989
Conditional symmetry breaking
IP Gent, T Kelsey, SA Linton, I McDonald, I Miguel, BM Smith
Principles and Practice of Constraint Programming-CP 2005: 11th …, 2005
512005
Computer construction of the Monster
R Wilson, P Walsh, R Parker, S Linton
Walter de Gruyter GmbH & Co. KG 1 (4), 307-337, 1998
491998
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
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
451999
A World-Wide-Web Atlas of finite group representations
RA Wilson, P Walsh, J Tripp, I Suleiman, R Parker, S Norton, S Nickerson, ...
44
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
401995
On vector enumeration
SA Linton
Linear algebra and its applications 192, 235-248, 1993
381993
Permutation Patterns
S Linton, N Ruškuc, V Vatter
Cambridge University Press, 2010
362010
Counting cases in substitope algorithms
DC Banks, SA Linton, PK Stockmeyer
IEEE Transactions on Visualization and Computer Graphics 10 (4), 371-384, 2004
362004
Finding the smallest image of a set
S Linton
Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004
342004
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
Constructing matrix representations of finitely presented groups
SA Linton
Journal of symbolic computation 12 (4-5), 427-438, 1991
321991
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
311998
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20