Steve Linton

Publication Activity (10 Years)

Years Active: 1991-2016
Publications (10 Years): 1

Top Topics

Hough Transform

Computer Algebra

Constraint Solvers

Top Venues

J. Integer Seq.

Concurr. Comput. Pract. Exp.

Publications

Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder
HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurr. Comput. Pract. Exp. 28 (13) (2016)
Ian P. Gent, Sergey Kitaev, Alexander Konovalov, Steve Linton, Peter Nightingale
S-Crucial and Bicrucial Permutations with Respect to Squares. J. Integer Seq. 18 (6) (2015)
Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale
Generating custom propagators for arbitrary constraints. Artif. Intell. 211 (2014)
Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. J. Symb. Comput. 49 (2013)
Vladimir Janjic, Christopher Brown, Max Neunhöffer, Kevin Hammond, Steve Linton, Hans-Wolfgang Loidl
Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing. PARCO (2013)
Steve Linton, Yohei Negi, Alice C. Niemeyer, Cheryl E. Praeger
Finding permutations containing long cycles in finite alternating and symmetric groups acting on subsets CoRR (2012)
Vladimir Komendantsky, Alexander Konovalov, Steve Linton
Interfacing Coq + SSReflect with GAP. Electron. Notes Theor. Comput. Sci. 285 (2012)
V. A. Bovdi, Alexander Konovalov, Steve Linton
Torsion Units in Integral Group Rings of Conway Simple Groups. Int. J. Algebra Comput. 21 (4) (2011)
Michael H. Albert, Steve Linton, Nikola Ruskuc, Vincent Vatter, Steve Waton
On convex permutations. Discret. Math. 311 (8-9) (2011)
Vladimir Komendantsky, Alexander Konovalov, Steve Linton
View of Computer Algebra Data from Coq. Calculemus/MKM (2011)
Alexander Konovalov, Steve Linton
Parallel computations in modular group algebras. PASCO (2010)
Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond
Easy composition of symbolic computation software: a new lingua franca for symbolic computation. ISSAC (2010)
Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer
Parallelising the computational algebra system GAP. PASCO (2010)
Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer
Towards High-Performance Computational Algebra with GAP. ICMS (2010)
Michael H. Albert, Steve Linton
Growing at a Perfect Speed. Comb. Probab. Comput. 18 (3) (2009)
Steve Linton
Symmetry and Search - A Survey. AISC/MKM/Calculemus (2008)
Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold
Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. ISPA (2008)
Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond
Symbolic Computation Software Composability. AISC/MKM/Calculemus (2008)
V. A. Bovdi, Alexander Konovalov, Steve Linton
. LMS J. Comput. Math. 11 (2008)
Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti
SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. International Conference on Computational Science (2) (2007)
Steve Linton
GAP: groups, algorithms, programming. ACM Commun. Comput. Algebra 41 (3) (2007)
Michael H. Albert, Steve Linton, Nikola Ruskuc
The Insertion Encoding of Permutations. Electron. J. Comb. 12 (2005)
Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
Symmetry and Consistency. CP (2005)
Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
Conditional Symmetry Breaking. CP (2005)
Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
New Developments in Symmetry Breaking in Search Using Computational Group Theory. AISC (2004)
Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton
Tractable Symmetry Breaking Using Restricted Search Trees. ECAI (2004)
Steve Linton
Finding the smallest image of a set. ISSAC (2004)
Alexander Hulpke, Steve Linton
Total ordering on subgroups and cosets. ISSAC (2003)
Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton
Generic SBDD Using Computational Group Theory. CP (2003)
Steve Linton, Götz Pfeiffer, Edmund F. Robertson, Nikola Ruskuc
Computing Transformation Semigroups. J. Symb. Comput. 33 (2) (2002)
Steve Linton, Roberto Sebastiani
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. J. Symb. Comput. 34 (4) (2002)
Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton
Formal Methods for Extensions to CAS. World Congress on Formal Methods (1999)
A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin
Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. ISSAC (1999)
A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin
VSDITLU: a verifiable symbolic definite integral table look-up. CADE (1999)
Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin
Lightweight Formal Methods for Computer Algebra Systems. ISSAC (1998)
Thomas Breuer, Steve Linton
The GAP 4 Type System: Organising Algebraic Algorithms. ISSAC (1998)
Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand
Algebra and Automated Deduction. CADE (1996)
Steve Linton, Duncan Shand
Some Group Theoretic Examples with Completion Theorem Provers. J. Autom. Reason. 17 (2) (1996)
Gene Cooperman, Larry Finkelstein, Steve Linton
Constructive recognition of a black box group isomorphic to GL(n,2). Groups and Computation (1995)
Steve Linton
Double Coset Enumeration. J. Symb. Comput. 12 (4/5) (1991)
Steve Linton
Constructing Matrix Representations of Finitely Presented Groups. J. Symb. Comput. 12 (4/5) (1991)