Steve Linton

According to our database1, Steve Linton authored at least 39 papers between 1991 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
HPC-GAP: engineering a 21st-century high-performance computer algebra system.
Concurrency and Computation: Practice and Experience, 2016

2014
Generating custom propagators for arbitrary constraints.
Artif. Intell., 2014

2013
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation.
J. Symb. Comput., 2013

Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing.
Proceedings of the Parallel Computing: Accelerating Computational Science and Engineering (CSE), 2013

2012
Interfacing Coq + SSReflect with GAP.
Electr. Notes Theor. Comput. Sci., 2012

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

2011
Torsion Units in Integral Group Rings of Conway Simple Groups.
IJAC, 2011

On convex permutations.
Discrete Mathematics, 2011

View of Computer Algebra Data from Coq.
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010
Easy composition of symbolic computation software: a new lingua franca for symbolic computation.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

Towards High-Performance Computational Algebra with GAP.
Proceedings of the Mathematical Software, 2010

Parallel computations in modular group algebras.
Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

Parallelising the computational algebra system GAP.
Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

2009
Growing at a Perfect Speed.
Combinatorics, Probability & Computing, 2009

2008
Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

Symmetry and Search - A Survey.
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

Symbolic Computation Software Composability.
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007
GAP: groups, algorithms, programming.
ACM Comm. Computer Algebra, 2007

SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

2005
The Insertion Encoding of Permutations.
Electr. J. Comb., 2005

Symmetry and Consistency.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Conditional Symmetry Breaking.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
Finding the smallest image of a set.
Proceedings of the Symbolic and Algebraic Computation, 2004

Tractable Symmetry Breaking Using Restricted Search Trees.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

New Developments in Symmetry Breaking in Search Using Computational Group Theory.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003
Total ordering on subgroups and cosets.
Proceedings of the Symbolic and Algebraic Computation, 2003

Generic SBDD Using Computational Group Theory.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2002
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems.
J. Symb. Comput., 2002

Computing Transformation Semigroups.
J. Symb. Comput., 2002

1999
Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study.
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

Formal Methods for Extensions to CAS.
Proceedings of the FM'99 - Formal Methods, 1999

VSDITLU: a verifiable symbolic definite integral table look-up.
Proceedings of the Automated Deduction, 1999

1998
Lightweight Formal Methods for Computer Algebra Systems.
Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

The GAP 4 Type System: Organising Algebraic Algorithms.
Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

1996
Some Group Theoretic Examples with Completion Theorem Provers.
J. Autom. Reasoning, 1996

Algebra and Automated Deduction.
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).
Proceedings of the Groups and Computation, 1995

1991
Constructing Matrix Representations of Finitely Presented Groups.
J. Symb. Comput., 1991

Double Coset Enumeration.
J. Symb. Comput., 1991


  Loading...