default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSteve Linton
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
[j15]Reimer Behrends, Kevin Hammond
, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder:
HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurr. Comput. Pract. Exp. 28(13): 3606-3636 (2016)- 2015
- [j14]Ian P. Gent, Sergey Kitaev, Alexander Konovalov, Steve Linton, Peter Nightingale:
S-Crucial and Bicrucial Permutations with Respect to Squares. J. Integer Seq. 18(6): 15.6.5 (2015) - [e1]Kazuhiro Yokoyama, Steve Linton, Daniel Robertz:
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015. ACM 2015, ISBN 978-1-4503-3435-8 [contents] - 2014
- [j13]Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale:
Generating custom propagators for arbitrary constraints. Artif. Intell. 211: 1-33 (2014) - 2013
- [j12]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) - [c25]Vladimir Janjic, Christopher Brown, Max Neunhöffer, Kevin Hammond, Steve Linton, Hans-Wolfgang Loidl:
Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing. PARCO 2013: 225-232 - 2012
- [i1]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) - 2011
- [j11]Michael H. Albert, Steve Linton, Nikola Ruskuc, Vincent Vatter, Steve Waton:
On convex permutations. Discret. Math. 311(8-9): 715-722 (2011) - [j10]V. A. Bovdi, Alexander Konovalov, Steve Linton:
Torsion Units in Integral Group Rings of Conway Simple Groups. Int. J. Algebra Comput. 21(4): 615-634 (2011) - [c24]Vladimir Komendantsky, Alexander Konovalov, Steve Linton:
View of Computer Algebra Data from Coq. Calculemus/MKM 2011: 74-89 - 2010
- [c23]Alexander Konovalov, Steve Linton:
Parallel computations in modular group algebras. PASCO 2010: 141-149 - [c22]Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer:
Parallelising the computational algebra system GAP. PASCO 2010: 177-178 - [c21]Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer:
Towards High-Performance Computational Algebra with GAP. ICMS 2010: 58-61 - [c20]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 - [c19]Vladimir Komendantsky, Alexander Konovalov, Steve Linton:
Interfacing Coq + SSReflect with GAP. UITP 2010: 17-28
2000 – 2009
- 2009
- [j9]Michael H. Albert, Steve Linton:
Growing at a Perfect Speed. Comb. Probab. Comput. 18(3): 301-308 (2009) - 2008
- [j8]V. A. Bovdi, Alexander Konovalov, Steve Linton:
Torsion Units in Integral Group Ring of the Mathieu Simple GroupM22. LMS J. Comput. Math. 11: 28-39 (2008) - [c18]Steve Linton:
Symmetry and Search - A Survey. AISC/MKM/Calculemus 2008: 1 - [c17]Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond:
Symbolic Computation Software Composability. AISC/MKM/Calculemus 2008: 285-295 - [c16]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 - 2007
- [j7]Steve Linton:
GAP: groups, algorithms, programming. ACM Commun. Comput. Algebra 41(3): 108-109 (2007) - [c15]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 - 2005
- [j6]Michael H. Albert, Steve Linton, Nikola Ruskuc:
The Insertion Encoding of Permutations. Electron. J. Comb. 12 (2005) - [c14]Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith:
Conditional Symmetry Breaking. CP 2005: 256-270 - [c13]Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal:
Symmetry and Consistency. CP 2005: 271-285 - 2004
- [c12]Tom Kelsey, Steve Linton, Colva M. Roney-Dougal:
New Developments in Symmetry Breaking in Search Using Computational Group Theory. AISC 2004: 199-210 - [c11]Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton:
Tractable Symmetry Breaking Using Restricted Search Trees. ECAI 2004: 211-215 - [c10]Steve Linton:
Finding the smallest image of a set. ISSAC 2004: 229-234 - 2003
- [c9]Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton:
Generic SBDD Using Computational Group Theory. CP 2003: 333-347 - [c8]Alexander Hulpke, Steve Linton:
Total ordering on subgroups and cosets. ISSAC 2003: 156-160 - 2002
- [j5]Steve Linton, Götz Pfeiffer, Edmund F. Robertson, Nikola Ruskuc:
Computing Transformation Semigroups. J. Symb. Comput. 33(2): 145-162 (2002) - [j4]Steve Linton, Roberto Sebastiani:
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. J. Symb. Comput. 34(4): 239 (2002)
1990 – 1999
- 1999
- [c7]Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin:
VSDITLU: a verifiable symbolic definite integral table look-up. CADE 1999: 112-126 - [c6]Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton:
Formal Methods for Extensions to CAS. World Congress on Formal Methods 1999: 1758-1777 - [c5]Andrew 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 - 1998
- [c4]Thomas Breuer, Steve Linton:
The GAP 4 Type System: Organising Algebraic Algorithms. ISSAC 1998: 38-45 - [c3]Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin:
Lightweight Formal Methods for Computer Algebra Systems. ISSAC 1998: 80-87 - 1996
- [j3]Steve Linton, Duncan Shand:
Some Group Theoretic Examples with Completion Theorem Provers. J. Autom. Reason. 17(2): 145-169 (1996) - [c2]Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand:
Algebra and Automated Deduction. CADE 1996: 448-462 - 1995
- [c1]Gene Cooperman, Larry Finkelstein, Steve Linton:
Constructive recognition of a black box group isomorphic to GL(n,2). Groups and Computation 1995: 85-100 - 1991
- [j2]Steve Linton:
Double Coset Enumeration. J. Symb. Comput. 12(4/5): 415-426 (1991) - [j1]Steve Linton:
Constructing Matrix Representations of Finitely Presented Groups. J. Symb. Comput. 12(4/5): 427-438 (1991)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
