关注
Steve Linton
Steve Linton
Professor of Computer Science, University of St Andrews
在 st-andrews.ac.uk 的电子邮件经过验证
标题
引用次数
年份
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
32018
A practical algorithm for reducing non-deterministic finite state automata
MH Albert, S Linton
Department of Computer Science, University of Otago, 2004
32004
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, ...
112021
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
21996
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
42012
Atlas of finite group representations
R Abbott, J Bray, S Linton, S Nickerson, S Norton, R Parker, I Suleiman, ...
Version, 2011
112011
Atlas of finite group representations
RA Wilson, P Walsh, J Tripp, I Suleiman, S Rogers, R Parker, S Norton, ...
2791999
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
282005
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
282015
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
1112005
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
221996
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
451999
Casimir forces for inhomogeneous planar media
C Xiong, TW Kelsey, SA Linton, U Leonhardt
Journal of Physics: Conference Series 410 (1), 012165, 2013
42013
系统目前无法执行此操作,请稍后再试。
文章 1–20