# Prof Steve Linton

Head of School

Position: Professor

Research profile
**Email (@st-andrews.ac.uk): **sl4

**Office: **
JC1.32 - Jack Cole Building, North Haugh

**Phone: **
+44 (0)1334 46 3269

**Home page: **https://sal.host.cs.st-andrews.ac.uk

## Research Overview

My background is in formal pure mathematics, with a great deal of computer experience. My research covers the application of computers to problems, in abstract algebra, I work on developing general algorithms such as vector numeration, on applying known algorithms and mathematical ingenuity to solve specific large problems such as finding the maximal subgroups of very large sporadic groups, and on the development of the GAP (groups, algorithms and programming) system.

For a mathematician, I am very practically minded. I have little interest in developing algorithms in the abstract without attempting to implement them and I write programs to produce the best possible performance rather than simply to demonstrate the algorithms

I am Director of the Centre for Interdisciplinary Research in Computational Algebra (CIRCA) at the University of St Andrews. The Centre undertakes mathematical research with computer assistance, develops new techniques for computation in abstract algebra and develops and distributes software implementing these techniques. The Centre also organises conferences, seminars and training courses and coordinates the international efforts to develop maintain and promote the GAP (groups, algorithms and programming) software package.

## Recent Publications

### HPC-GAP: engineering a 21st-century High-Performance Computer algebra system

*Concurrency and Computation : Practice and Experience*, vol 28, no. 13, pp. 3606-3636. DOI: 10.1002/cpe.3746

### S-crucial and bicrucial permutations with respect to squares

*Journal of Integer Sequences*, vol 18, no. 6, 15.6.5, pp. 1-22.

### Identifying long cycles in finite alternating and symmetric groups acting on subsets

*Journal of Algebra Combinatorics Discrete Structures and Applications*, vol 2, no. 2, pp. 117-149. DOI: 10.13069/jacodesmath.28239

### Towards the calculation of Casimir forces for inhomogeneous planar media

*Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks.*Springer, pp. 171-180. DOI: 10.1007/978-3-662-43799-5_15

### Generating custom propagators for arbitrary constraints

*Artificial Intelligence*, vol 211, no. 1, pp. 1-33. DOI: 10.1016/j.artint.2014.03.001

### Qualitative modelling via constraint programming

*Constraints*, vol 19, no. 2, pp. 163-173. DOI: 10.1007/s10601-014-9158-6

### S-crucial and bicrucial permutations with respect to squares

*ArXiv e-prints*.

### Space exploration using parallel orbits: a study in parallel symbolic computing

*Parallel Computing: Accelerating Computational Science and Engineering (CSE).*vol. 25, Advances in Parallel Computing, IOS Press, pp. 225-232. DOI: 10.3233/978-1-61499-381-0-225

### Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation

*Journal of Symbolic Computation*, vol 49, pp. 95-119. DOI: 10.1016/j.jsc.2011.12.019

### Casimir forces for inhomogeneous planar media

*Journal of Physics: Conference Series.*1 edn, vol. 401, Journal of Physics: Conference Series, no. 1, vol. 410. DOI: 10.1088/1742-6596/410/1/012165

Follow us: