×
Compute Distance To:
Author ID: linton.steve-a Recent zbMATH articles by "Linton, Steve A."
Published as: Linton, Steve; Linton, S.; Linton, S. A.; Linton, Steve A.

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 148 times in 91 Documents Cited by Year
The insertion encoding of permutations. Zbl 1081.05001
Albert, Michael H.; Linton, Steve; Ruskuc, Nik
16
2005
Torsion units in integral group ring of the Mathieu simple group \(M_{22}\). Zbl 1225.16017
Bovdi, V. A.; Konovalov, A. B.; Linton, S.
13
2008
Priority queues and multisets. Zbl 0852.90075
Atkinson, M. D.; Linton, S. A.; Walker, L. A.
9
1995
Torsion units in integral group rings of Conway simple groups. Zbl 1234.16025
Bovdi, V. A.; Konovalov, A. B.; Linton, S.
8
2011
Groups and actions in transformation semigroups. Zbl 0902.20028
Linton, S. A.; Pfeiffer, G.; Robertson, E. F.; Ruškuc, N.
8
1998
Finding the smallest image of a set. Zbl 1134.05302
Linton, Steve
7
2004
Generic SBDD using computational group theory. Zbl 1273.68076
Gent, Ian P.; Harvey, Warwick; Kelsey, Tom; Linton, Steve
6
2003
Computing transformation semigroups. Zbl 1002.20043
Linton, S. A.; Pfeiffer, G.; Robertson, E. F.; Ruškuc, N.
6
2002
Permutations generated by stacks and deques. Zbl 1233.05003
Albert, Michael; Atkinson, Mike; Linton, Steve
6
2010
On vector enumeration. Zbl 0827.20021
Linton, S. A.
6
1993
The art and science of computing in large groups. Zbl 0830.20002
Linton, S. A.
5
1995
Constructing matrix representations of finitely presented groups. Zbl 0789.20002
Linton, S. A.
5
1991
Conditional symmetry breaking. Zbl 1153.68459
Gent, Ian P.; Kelsey, Tom; Linton, Steve A.; McDonald, Iain; Miguel, Ian; Smith, Barbara M.
5
2005
Symbolic computation software composability. Zbl 1166.68374
Freundt, Sebastian; Horn, Peter; Konovalov, Alexander; Linton, Steve; Roozemond, Dan
5
2008
Growing at a perfect speed. Zbl 1200.05011
Albert, M. H.; Linton, S. A.
5
2009
The GAP 4 type system organising algebraic algorithms. Zbl 0918.68050
Breuer, Thomas; Linton, Steve
4
1998
Lightweight formal methods for computer algebra systems. Zbl 0918.68053
Dunstan, Martin; Kelsey, Tom; Linton, Steve; Martin, Ursula
4
1998
New developments in symmetry breaking in search using computational group theory. Zbl 1109.68613
Kelsey, Tom; Linton, Steve; Roney-Dougal, Colva
4
2004
Generating custom propagators for arbitrary constraints. Zbl 1405.68326
Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter
4
2014
VSDITLU: A verifiable symbolic definite integral table look-up. Zbl 0943.68152
Adams, A. A.; Gottliebsen, H.; Linton, S. A.; Martin, U.
3
1999
Constructive recognition of a black box group isomorphic to \(\text{GL}(n,2)\). Zbl 0887.20023
Cooperman, Gene; Finkelstein, Larry; Linton, Steve
3
1997
Some group theoretic examples with completion theorem provers. Zbl 0855.68087
Linton, S.; Shand, D.
3
1996
On convex permutations. Zbl 1229.05004
Albert, Michael H.; Linton, Steve; Ruškuc, Nik; Vatter, Vincent; Waton, Steve
3
2011
Permutation patterns. Proceedings of the 5th conference held at the University of St. Andrews, Scotland, June 11–15, 2007. Zbl 1190.05001
2
2010
Generalisations of the Todd-Coxeter algorithm. Zbl 0836.08003
Linton, S. A.
1
1995
Total ordering on subgroups and cosets. Zbl 1072.68673
Hulpke, Alexander; Linton, Steve
1
2003
Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371
Linton, S.; Hammond, K.; Konovalov, A.; Brown, C.; Trinder, P. W.; Loidl, H.-W.; Horn, P.; Roozemond, D.
1
2013
Groupoids and conditional symmetry. Zbl 1145.68514
Gent, I. P.; Kelsey, T.; Linton, S. A.; Pearson, J.; Roney-Dougal, C. M.
1
2007
Symmetry and consistency. Zbl 1153.68460
Gent, Ian P.; Kelsey, Tom; Linton, Steve; Roney-Dougal, Colva
1
2005
\(S\)-crucial and bicrucial permutations with respect to squares. Zbl 1327.05005
Gent, Ian; Kitaev, Sergey; Konovalov, Alexander; Linton, Steve; Nightingale, Peter
1
2015
Interfacing Coq + SSReflect with GAP. Zbl 1294.68124
Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve
1
2012
Multiplicity-free permutation characters of covering groups of sporadic simple groups. Zbl 1282.20014
Linton, S. A.; Mpono, Z. E.
1
2013
\(S\)-crucial and bicrucial permutations with respect to squares. Zbl 1327.05005
Gent, Ian; Kitaev, Sergey; Konovalov, Alexander; Linton, Steve; Nightingale, Peter
1
2015
Generating custom propagators for arbitrary constraints. Zbl 1405.68326
Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter
4
2014
Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371
Linton, S.; Hammond, K.; Konovalov, A.; Brown, C.; Trinder, P. W.; Loidl, H.-W.; Horn, P.; Roozemond, D.
1
2013
Multiplicity-free permutation characters of covering groups of sporadic simple groups. Zbl 1282.20014
Linton, S. A.; Mpono, Z. E.
1
2013
Interfacing Coq + SSReflect with GAP. Zbl 1294.68124
Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve
1
2012
Torsion units in integral group rings of Conway simple groups. Zbl 1234.16025
Bovdi, V. A.; Konovalov, A. B.; Linton, S.
8
2011
On convex permutations. Zbl 1229.05004
Albert, Michael H.; Linton, Steve; Ruškuc, Nik; Vatter, Vincent; Waton, Steve
3
2011
Permutations generated by stacks and deques. Zbl 1233.05003
Albert, Michael; Atkinson, Mike; Linton, Steve
6
2010
Permutation patterns. Proceedings of the 5th conference held at the University of St. Andrews, Scotland, June 11–15, 2007. Zbl 1190.05001
2
2010
Growing at a perfect speed. Zbl 1200.05011
Albert, M. H.; Linton, S. A.
5
2009
Torsion units in integral group ring of the Mathieu simple group \(M_{22}\). Zbl 1225.16017
Bovdi, V. A.; Konovalov, A. B.; Linton, S.
13
2008
Symbolic computation software composability. Zbl 1166.68374
Freundt, Sebastian; Horn, Peter; Konovalov, Alexander; Linton, Steve; Roozemond, Dan
5
2008
Groupoids and conditional symmetry. Zbl 1145.68514
Gent, I. P.; Kelsey, T.; Linton, S. A.; Pearson, J.; Roney-Dougal, C. M.
1
2007
The insertion encoding of permutations. Zbl 1081.05001
Albert, Michael H.; Linton, Steve; Ruskuc, Nik
16
2005
Conditional symmetry breaking. Zbl 1153.68459
Gent, Ian P.; Kelsey, Tom; Linton, Steve A.; McDonald, Iain; Miguel, Ian; Smith, Barbara M.
5
2005
Symmetry and consistency. Zbl 1153.68460
Gent, Ian P.; Kelsey, Tom; Linton, Steve; Roney-Dougal, Colva
1
2005
Finding the smallest image of a set. Zbl 1134.05302
Linton, Steve
7
2004
New developments in symmetry breaking in search using computational group theory. Zbl 1109.68613
Kelsey, Tom; Linton, Steve; Roney-Dougal, Colva
4
2004
Generic SBDD using computational group theory. Zbl 1273.68076
Gent, Ian P.; Harvey, Warwick; Kelsey, Tom; Linton, Steve
6
2003
Total ordering on subgroups and cosets. Zbl 1072.68673
Hulpke, Alexander; Linton, Steve
1
2003
Computing transformation semigroups. Zbl 1002.20043
Linton, S. A.; Pfeiffer, G.; Robertson, E. F.; Ruškuc, N.
6
2002
VSDITLU: A verifiable symbolic definite integral table look-up. Zbl 0943.68152
Adams, A. A.; Gottliebsen, H.; Linton, S. A.; Martin, U.
3
1999
Groups and actions in transformation semigroups. Zbl 0902.20028
Linton, S. A.; Pfeiffer, G.; Robertson, E. F.; Ruškuc, N.
8
1998
The GAP 4 type system organising algebraic algorithms. Zbl 0918.68050
Breuer, Thomas; Linton, Steve
4
1998
Lightweight formal methods for computer algebra systems. Zbl 0918.68053
Dunstan, Martin; Kelsey, Tom; Linton, Steve; Martin, Ursula
4
1998
Constructive recognition of a black box group isomorphic to \(\text{GL}(n,2)\). Zbl 0887.20023
Cooperman, Gene; Finkelstein, Larry; Linton, Steve
3
1997
Some group theoretic examples with completion theorem provers. Zbl 0855.68087
Linton, S.; Shand, D.
3
1996
Priority queues and multisets. Zbl 0852.90075
Atkinson, M. D.; Linton, S. A.; Walker, L. A.
9
1995
The art and science of computing in large groups. Zbl 0830.20002
Linton, S. A.
5
1995
Generalisations of the Todd-Coxeter algorithm. Zbl 0836.08003
Linton, S. A.
1
1995
On vector enumeration. Zbl 0827.20021
Linton, S. A.
6
1993
Constructing matrix representations of finitely presented groups. Zbl 0789.20002
Linton, S. A.
5
1991
all top 5

Cited by 139 Authors

11 Vatter, Vincent Russell
6 Konovalov, Olexandr
6 Linton, Steve A.
6 Margolis, Leo
5 Albert, Michael Henry
5 Gildea, Joe
5 Martin, Ursula
4 Stuckey, Peter James
3 Bächle, Andreas
3 Carlsson, Mats
3 Chu, Geoffrey
3 del Río, Angel
3 Flener, Pierre
3 Garcia de la Banda, Maria
3 Gudmundsson, Bjarki Agust
3 Jefferson, Christopher
3 Mansour, Toufik
3 Pantone, Jay
3 Ruškuc, Nik
2 Beldiceanu, Nicolas
2 Borga, Jacopo
2 Bovdi, Victor A.
2 Caprotti, Olga
2 Claesson, Anders
2 Donaldson, Alastair F.
2 Elder, Murray J.
2 Gent, Ian Philip
2 Gottliebsen, Hanne
2 Guttmann, Anthony John
2 Homberger, Cheyne
2 Hulpke, Alexander Jörg
2 Kelsey, Tom
2 Kimmerle, Wolfgang
2 Kohlhase, Michael
2 Komendantsky, Vladimir
2 Lee, Jimmy Ho-man
2 Mears, Christopher
2 Miller, Alice Ann
2 Pearson, Justin
2 Pfeiffer, Markus
2 Price, Andrew Elvey
2 Rechnitzer, Andrew Daniel
2 Sellmann, Meinolf
2 Serrano, Mariano
2 Shand, Duncan
2 Skogman, Howard
2 Slivken, Erik
1 Ågren, Magnus
1 Akgün, Özgür
1 Aloul, Fadi A.
1 Baxter, Andrew M.
1 Beals, Robert M.
1 Bean, Christian
1 Bendotti, Pascale
1 Bevan, David I.
1 Björdal, Gustav
1 Botana, Francisco
1 Bratus, Sergey
1 Brignall, Robert
1 Cohen, Arjeh Marcel
1 Cohen, David A.
1 Coscia, Christopher
1 Davenport, James Harold
1 Dehaye, Paul-Olivier
1 Dekker, Jip J.
1 Demoen, Bart
1 Derrien, Alban
1 Dewitt, Jonathan
1 Distler, Andreas
1 Douence, Rémi
1 Duchi, Enrica
1 Fouilhoux, Pierre
1 Franke, Andreas
1 Gawrychowski, Paweł
1 Hardy, Ruth
1 Horn, Peter D.
1 Iancu, Mihnea
1 Jeavons, Peter G.
1 Jelínek, Vít
1 Jespers, Eric
1 Jolly, Raphael
1 Jonauskyte, Eliza
1 Kantor, William M.
1 Kitaev, Sergey
1 Klazar, Martin
1 Kovács, Zoltán
1 Kredel, Heinz
1 Law, Yat Chiu
1 Lee, Geoffrey
1 Leedham-Green, Charles R.
1 Lelièvre, Samuel
1 Lightfoot, Olga
1 Magaard, Kay
1 Manea, Florin
1 Markov, Igor L.
1 Miguel, Ian
1 Minimair, Manfred
1 Monette, Jean-Noël
1 Mularczyk, Hanna
1 Müller, Dennis
...and 39 more Authors
all top 5

Cited in 41 Serials

12 Journal of Symbolic Computation
11 Constraints
5 Annals of Mathematics and Artificial Intelligence
3 European Journal of Combinatorics
3 Advances in Applied Mathematics
3 The Electronic Journal of Combinatorics
2 Artificial Intelligence
2 Israel Journal of Mathematics
2 Mathematics of Computation
2 Journal of Algebra
2 Journal of Combinatorial Theory. Series A
2 Transactions of the American Mathematical Society
2 International Journal of Algebra and Computation
2 Journal of Algebra and its Applications
1 Discrete Mathematics
1 Indian Journal of Pure & Applied Mathematics
1 Information Processing Letters
1 Rocky Mountain Journal of Mathematics
1 Czechoslovak Mathematical Journal
1 Journal of Pure and Applied Algebra
1 Mathematika
1 Rendiconti del Circolo Matemàtico di Palermo. Serie II
1 Theoretical Computer Science
1 Combinatorica
1 Algorithmica
1 Formal Aspects of Computing
1 The Annals of Applied Probability
1 Annales de l’Institut Henri Poincaré. Probabilités et Statistiques
1 Mathematical Programming. Series A. Series B
1 Experimental Mathematics
1 Séminaire Lotharingien de Combinatoire
1 Theory of Computing Systems
1 Journal of Group Theory
1 Algebras and Representation Theory
1 Annals of Combinatorics
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Journal of Integer Sequences
1 Mathematics in Computer Science
1 Discrete Mathematics, Algorithms and Applications
1 International Journal of Group Theory
1 The Journal of Software for Algebra and Geometry

Citations by Year