The SCEAS System
| |||||||

## 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.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |