The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Steve Linton: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Thomas Breuer, Steve Linton
    The GAP 4 Type System: Organising Algebraic Algorithms. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1998, pp:38-45 [Conf]
  11. 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]
  12. Alexander Hulpke, Steve Linton
    Total ordering on subgroups and cosets. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2003, pp:156-160 [Conf]
  13. Steve Linton
    Finding the smallest image of a set. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2004, pp:229-234 [Conf]
  14. 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]
  15. Steve Linton
    Double Coset Enumeration. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1991, v:12, n:4/5, pp:415-426 [Journal]
  16. 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]
  17. 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]
  18. 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]
  19. 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]

  20. Symbolic Computation Software Composability. [Citation Graph (, )][DBLP]


  21. Symmetry and Search - A Survey. [Citation Graph (, )][DBLP]


  22. Towards High-Performance Computational Algebra with GAP. [Citation Graph (, )][DBLP]


  23. Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. [Citation Graph (, )][DBLP]


  24. The Insertion Encoding of Permutations. [Citation Graph (, )][DBLP]


  25. Growing at a Perfect Speed. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.278secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002