|
Search the dblp DataBase
Steve Linton:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
New Developments in Symmetry Breaking in Search Using Computational Group Theory. [Citation Graph (0, 0)][DBLP] AISC, 2004, pp:199-210 [Conf]
- A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin
VSDITLU: a verifiable symbolic definite integral table look-up. [Citation Graph (0, 0)][DBLP] CADE, 1999, pp:112-126 [Conf]
- Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand
Algebra and Automated Deduction. [Citation Graph (0, 0)][DBLP] CADE, 1996, pp:448-462 [Conf]
- Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton
Generic SBDD Using Computational Group Theory. [Citation Graph (0, 0)][DBLP] CP, 2003, pp:333-347 [Conf]
- Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
Conditional Symmetry Breaking. [Citation Graph (0, 0)][DBLP] CP, 2005, pp:256-270 [Conf]
- Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
Symmetry and Consistency. [Citation Graph (0, 0)][DBLP] CP, 2005, pp:271-285 [Conf]
- Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton
Tractable Symmetry Breaking Using Restricted Search Trees. [Citation Graph (0, 0)][DBLP] ECAI, 2004, pp:211-215 [Conf]
- Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton
Formal Methods for Extensions to CAS. [Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:1758-1777 [Conf]
- A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin
Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. [Citation Graph (0, 0)][DBLP] ISSAC, 1999, pp:253-260 [Conf]
- Thomas Breuer, Steve Linton
The GAP 4 Type System: Organising Algebraic Algorithms. [Citation Graph (0, 0)][DBLP] ISSAC, 1998, pp:38-45 [Conf]
- Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin
Lightweight Formal Methods for Computer Algebra Systems. [Citation Graph (0, 0)][DBLP] ISSAC, 1998, pp:80-87 [Conf]
- Alexander Hulpke, Steve Linton
Total ordering on subgroups and cosets. [Citation Graph (0, 0)][DBLP] ISSAC, 2003, pp:156-160 [Conf]
- Steve Linton
Finding the smallest image of a set. [Citation Graph (0, 0)][DBLP] ISSAC, 2004, pp:229-234 [Conf]
- Steve Linton, Duncan Shand
Some Group Theoretic Examples with Completion Theorem Provers. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1996, v:17, n:2, pp:145-169 [Journal]
- Steve Linton
Double Coset Enumeration. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1991, v:12, n:4/5, pp:415-426 [Journal]
- Steve Linton
Constructing Matrix Representations of Finitely Presented Groups. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1991, v:12, n:4/5, pp:427-438 [Journal]
- Steve Linton, G. Pfeiffer, Edmund F. Robertson, Nikola Ruskuc
Computing Transformation Semigroups. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2002, v:33, n:2, pp:145-162 [Journal]
- Steve Linton, Roberto Sebastiani
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2002, v:34, n:4, pp:239- [Journal]
- 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. [Citation Graph (0, 0)][DBLP] International Conference on Computational Science (2), 2007, pp:617-624 [Conf]
Symbolic Computation Software Composability. [Citation Graph (, )][DBLP]
Symmetry and Search - A Survey. [Citation Graph (, )][DBLP]
Towards High-Performance Computational Algebra with GAP. [Citation Graph (, )][DBLP]
Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. [Citation Graph (, )][DBLP]
The Insertion Encoding of Permutations. [Citation Graph (, )][DBLP]
Growing at a Perfect Speed. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.278secs
|