|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 5 keywords
|
|
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | V. A. Bovdi, Alexander Konovalov, Steve Linton |
Torsion Units in Integral Group Rings of Conway Simple Groups.  |
IJAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael H. Albert, Steve Linton, Nikola Ruskuc, Vincent Vatter, Steve Waton |
On convex permutations. |
Discrete Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Komendantsky, Alexander Konovalov, Steve Linton |
View of Computer Algebra Data from Coq. |
Calculemus/MKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer |
Parallelising the computational algebra system GAP. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Konovalov, Steve Linton |
Parallel computations in modular group algebras. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer |
Towards High-Performance Computational Algebra with GAP. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael H. Albert, Steve Linton |
Growing at a Perfect Speed. |
Combinatorics, Probability & Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Linton |
Symmetry and Search - A Survey. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond |
Symbolic Computation Software Composability. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael H. Albert, Steve Linton, Nikola Ruskuc |
The Insertion Encoding of Permutations. |
Electr. J. Comb. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal |
Symmetry and Consistency. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith |
Conditional Symmetry Breaking. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton |
Tractable Symmetry Breaking Using Restricted Search Trees. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tom Kelsey, Steve Linton, Colva M. Roney-Dougal |
New Developments in Symmetry Breaking in Search Using Computational Group Theory. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Linton |
Finding the smallest image of a set. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
smallest image, algorithm, permutation group |
| 1 | Alexander Hulpke, Steve Linton |
Total ordering on subgroups and cosets. |
ISSAC |
2003 |
DBLP DOI BibTeX RDF |
algorithm, total order, permutation group, matrix group |
| 1 | Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton |
Generic SBDD Using Computational Group Theory. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Linton, Roberto Sebastiani |
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. |
J. Symb. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Linton, G. Pfeiffer, Edmund F. Robertson, Nikola Ruskuc |
Computing Transformation Semigroups. |
J. Symb. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin |
VSDITLU: a verifiable symbolic definite integral table look-up. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton |
Formal Methods for Extensions to CAS. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin |
Lightweight Formal Methods for Computer Algebra Systems. |
ISSAC |
1998 |
DBLP DOI BibTeX RDF |
AXIOM |
| 1 | Thomas Breuer, Steve Linton |
The GAP 4 Type System: Organising Algebraic Algorithms. |
ISSAC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Linton, Duncan Shand |
Some Group Theoretic Examples with Completion Theorem Provers. |
J. Autom. Reasoning |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand |
Algebra and Automated Deduction. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Linton |
Double Coset Enumeration. |
J. Symb. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Linton |
Constructing Matrix Representations of Finitely Presented Groups. |
J. Symb. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")