Steve Linton

According to our database, Steve Linton authored at least 41 papers between 1991 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

HPC-GAP: engineering a 21st-century high-performance computer algebra system.

Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder

Concurr. Comput. Pract. Exp., 2016

2015

S-Crucial and Bicrucial Permutations with Respect to Squares.

Ian P. Gent, Sergey Kitaev, Alexander Konovalov, Steve Linton, Peter Nightingale

J. Integer Seq., 2015

2014

Generating custom propagators for arbitrary constraints.

Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale

Artif. Intell., 2014

2013

Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation.

Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond

J. Symb. Comput., 2013

Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing.

Vladimir Janjic, Christopher Brown, Max Neunhöffer, Kevin Hammond, Steve Linton, Hans-Wolfgang Loidl

Proceedings of the Parallel Computing: Accelerating Computational Science and Engineering (CSE), 2013

2012

Finding permutations containing long cycles in finite alternating and symmetric groups acting on subsets

Steve Linton, Yohei Negi, Alice C. Niemeyer, Cheryl E. Praeger

CoRR, 2012

2011

Torsion Units in Integral Group Rings of Conway Simple Groups.

V. A. Bovdi, Alexander Konovalov, Steve Linton

Int. J. Algebra Comput., 2011

On convex permutations.

Michael H. Albert, Steve Linton, Nikola Ruskuc, Vincent Vatter, Steve Waton

Discret. Math., 2011

View of Computer Algebra Data from Coq.

Vladimir Komendantsky, Alexander Konovalov, Steve Linton

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Interfacing Coq + SSReflect with GAP.

Vladimir Komendantsky, Alexander Konovalov, Steve Linton

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010

Easy composition of symbolic computation software: a new lingua franca for symbolic computation.

Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

Towards High-Performance Computational Algebra with GAP.

Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer

Proceedings of the Mathematical Software, 2010

Parallel computations in modular group algebras.

Alexander Konovalov, Steve Linton

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

Parallelising the computational algebra system GAP.

Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

2009

Growing at a Perfect Speed.

Michael H. Albert, Steve Linton

Comb. Probab. Comput., 2009

2008

Torsion Units in Integral Group Ring of the Mathieu Simple Group<i>M</i>₂₂.

V. A. Bovdi, Alexander Konovalov, Steve Linton

LMS J. Comput. Math., 2008

Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System.

Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

Symmetry and Search - A Survey.

Steve Linton

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

Symbolic Computation Software Composability.

Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

GAP: groups, algorithms, programming.

Steve Linton

ACM Commun. Comput. Algebra, 2007

SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids.

Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

2005

The Insertion Encoding of Permutations.

Michael H. Albert, Steve Linton, Nikola Ruskuc

Electron. J. Comb., 2005

Symmetry and Consistency.

Ian P. Gent, Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal

Proceedings of the Principles and Practice of Constraint Programming, 2005

Conditional Symmetry Breaking.

Ian P. Gent, Tom W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Finding the smallest image of a set.

Steve Linton

Proceedings of the Symbolic and Algebraic Computation, 2004

Tractable Symmetry Breaking Using Restricted Search Trees.

Colva M. Roney-Dougal, Ian P. Gent, Tom W. Kelsey, Steve Linton

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

New Developments in Symmetry Breaking in Search Using Computational Group Theory.

Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003

Total ordering on subgroups and cosets.

Alexander Hulpke, Steve Linton

Proceedings of the Symbolic and Algebraic Computation, 2003

Generic SBDD Using Computational Group Theory.

Ian P. Gent, Warwick Harvey, Tom W. Kelsey, Steve Linton

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Editorial: The Integration of Automated Reasoning and Computer Algebra Systems.

Steve Linton, Roberto Sebastiani

J. Symb. Comput., 2002

Computing Transformation Semigroups.

Steve Linton, Götz Pfeiffer, Edmund F. Robertson, Nikola Ruskuc

J. Symb. Comput., 2002

1999

Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study.

Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

Formal Methods for Extensions to CAS.

Martin Dunstan, Tom W. Kelsey, Ursula Martin, Steve Linton

Proceedings of the FM'99 - Formal Methods, 1999

VSDITLU: a verifiable symbolic definite integral table look-up.

Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin

Proceedings of the Automated Deduction, 1999

1998

Lightweight Formal Methods for Computer Algebra Systems.

Martin Dunstan, Tom W. Kelsey, Steve Linton, Ursula Martin

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

The GAP 4 Type System: Organising Algebraic Algorithms.

Thomas Breuer, Steve Linton

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

1996

Some Group Theoretic Examples with Completion Theorem Provers.

Steve Linton, Duncan Shand

J. Autom. Reason., 1996

Algebra and Automated Deduction.

Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Constructive recognition of a black box group isomorphic to GL(n,2).

Gene Cooperman, Larry Finkelstein, Steve Linton

Proceedings of the Groups and Computation, 1995

1991

Constructing Matrix Representations of Finitely Presented Groups.

Steve Linton

J. Symb. Comput., 1991

Double Coset Enumeration.

Steve Linton

J. Symb. Comput., 1991