1 GAP’s history and language S Linton | | |
A Constraint Solver Synthesiser: Case for Support I Miguel, D Balasubramaniam, IP Gent, C Jefferson, T Kelsey, S Linton | | 2009 |
A parallel algorithm for Gaussian elimination over finite fields S Linton, G Nebe, A Niemeyer, R Parker, J Thackray arXiv preprint arXiv:1806.04211, 2018 | 3 | 2018 |
A practical algorithm for reducing non-deterministic finite state automata MH Albert, S Linton Department of Computer Science, University of Otago, 2004 | 3 | 2004 |
A Purely Functional Parallel Knuth-Bendix Completion Algorithm for Computational Group Theory L Timochouk, S Linton, K Hammond | | |
A world wide web atlas of group representations J Tripp, I Suleiman, S Rogers, R Parker, S Norton, S Nickerson, S Linton, ... | 11 | 2021 |
A World-Wide-Web Atlas of finite group representations RA Wilson, P Walsh, J Tripp, I Suleiman, R Parker, S Norton, S Nickerson, ... | 48 | |
Algebra and automated deduction S Linton, U Martin, P Pröhle, D Shand Automated Deduction—Cade-13: 13th International Conference on Automated …, 1996 | 2 | 1996 |
Algorithmic Generalisations of Small Cancellation Theory M Neunhöffer Not yet known, 2013 | | 2013 |
An efficient programming model for memory-intensive recursive algorithms using parallel disks V Slavici, D Kunkle, G Cooperman, S Linton Proceedings of the 37th International Symposium on Symbolic and Algebraic …, 2012 | 4 | 2012 |
Atlas of finite group representations R Abbott, J Bray, S Linton, S Nickerson, S Norton, R Parker, I Suleiman, ... Version, 2011 | 11 | 2011 |
Atlas of finite group representations RA Wilson, P Walsh, J Tripp, I Suleiman, S Rogers, R Parker, S Norton, ... | 279 | 1999 |
Atlas of finite group representations http://brauer. maths. qmul. ac. uk R Wilson, P Walsh, J Tripp, I Suleiman, R Parker, S Norton, S Nickerson, ... Atlas/v3, 2005 | 28 | 2005 |
Atlas of finite group representations-version 3 R Abbott, J Bray, S Linton, S Nickerson, S Norton, R Parker, I Suleiman, ... published electronically at http://brauer. maths. qmul. ac. uk/Atlas/v3, 2015 | 28 | 2015 |
Atlas of finite group representations-version 3 R Wilson, P Walsh, J Tripp, I Suleiman, R Parker, S Norton, S Nickerson, ... available at the time of writing from http://brauer. maths. qmul. ac. uk …, 2005 | 111 | 2005 |
ATLAS of Finite Group Representations, 2006 R Wilson, P Walsh, J Tripp, I Suleiman, S Rogers, R Parker, S Norton, ... | 7 | |
Atlas of group representations RA Wilson, P Walsh, J Tripp, I Suleiman, R Parker, S Norton, S Nickerson, ... Preprint, http://brauer. maths. qmul. ac. uk/Atlas, 1996 | 22 | 1996 |
Automata M Delgado, S Linton, JJ Morais | | 2004 |
Automated theorem proving in support of computer algebra: symbolic definite integration as a case study AA Adams, H Gottliebsen, SA Linton, U Martin Proceedings of the 1999 international symposium on Symbolic and algebraic …, 1999 | 45 | 1999 |
Casimir forces for inhomogeneous planar media C Xiong, TW Kelsey, SA Linton, U Leonhardt Journal of Physics: Conference Series 410 (1), 012165, 2013 | 4 | 2013 |