Steve Linton

Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond: Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. J. Symb. Comput. 49: 95-119 (2013)

Vladimir Komendantsky, Alexander Konovalov, Steve Linton: Interfacing Coq + SSReflect with GAP. Electr. Notes Theor. Comput. Sci. 285: 17-28 (2012)

Steve Linton, Yohei Negi, Alice C. Niemeyer, Cheryl E. Praeger: Finding permutations containing long cycles in finite alternating and symmetric groups acting on subsets. CoRR abs/1205.6586 (2012)

Michael H. Albert, Steve Linton, Nikola Ruskuc, Vincent Vatter, Steve Waton: On convex permutations. Discrete Mathematics 311(8-9): 715-722 (2011)

V. A. Bovdi, Alexander Konovalov, Steve Linton: Torsion Units in Integral Group Rings of Conway Simple Groups. IJAC 21(4): 615-634 (2011)

Vladimir Komendantsky, Alexander Konovalov, Steve Linton: View of Computer Algebra Data from Coq. Calculemus/MKM 2011: 74-89

Alexander Konovalov, Steve Linton: Parallel computations in modular group algebras. PASCO 2010: 141-149

Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer: Parallelising the computational algebra system GAP. PASCO 2010: 177-178

Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer: Towards High-Performance Computational Algebra with GAP. ICMS 2010: 58-61

Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond: Easy composition of symbolic computation software: a new lingua franca for symbolic computation. ISSAC 2010: 339-346

Michael H. Albert, Steve Linton: Growing at a Perfect Speed. Combinatorics, Probability & Computing 18(3): 301-308 (2009)

Steve Linton: Symmetry and Search - A Survey. AISC/MKM/Calculemus 2008: 1

Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond: Symbolic Computation Software Composability. AISC/MKM/Calculemus 2008: 285-295

Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold: Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. ISPA 2008: 99-112

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. International Conference on Computational Science (2) 2007: 617-624

Michael H. Albert, Steve Linton, Nikola Ruskuc: The Insertion Encoding of Permutations. Electr. J. Comb. 12 (2005)

Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith: Conditional Symmetry Breaking. CP 2005: 256-270

Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal: Symmetry and Consistency. CP 2005: 271-285

Tom Kelsey, Steve Linton, Colva M. Roney-Dougal: New Developments in Symmetry Breaking in Search Using Computational Group Theory. AISC 2004: 199-210

Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton: Tractable Symmetry Breaking Using Restricted Search Trees. ECAI 2004: 211-215

Steve Linton: Finding the smallest image of a set. ISSAC 2004: 229-234

Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton: Generic SBDD Using Computational Group Theory. CP 2003: 333-347

Alexander Hulpke, Steve Linton: Total ordering on subgroups and cosets. ISSAC 2003: 156-160

Steve Linton, G. Pfeiffer, Edmund F. Robertson, Nikola Ruskuc: Computing Transformation Semigroups. J. Symb. Comput. 33(2): 145-162 (2002)

Steve Linton, Roberto Sebastiani: Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. J. Symb. Comput. 34(4): 239 (2002)

A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin: VSDITLU: a verifiable symbolic definite integral table look-up. CADE 1999: 112-126

Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton: Formal Methods for Extensions to CAS. World Congress on Formal Methods 1999: 1758-1777

A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin: Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. ISSAC 1999: 253-260

Thomas Breuer, Steve Linton: The GAP 4 Type System: Organising Algebraic Algorithms. ISSAC 1998: 38-45

Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin: Lightweight Formal Methods for Computer Algebra Systems. ISSAC 1998: 80-87

Steve Linton, Duncan Shand: Some Group Theoretic Examples with Completion Theorem Provers. J. Autom. Reasoning 17(2): 145-169 (1996)

Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand: Algebra and Automated Deduction. CADE 1996: 448-462

Steve Linton: Double Coset Enumeration. J. Symb. Comput. 12(4/5): 415-426 (1991)

Steve Linton: Constructing Matrix Representations of Finitely Presented Groups. J. Symb. Comput. 12(4/5): 427-438 (1991)