Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Published

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

    Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S. A., Loidl, H-W., Maier, P. & Trinder, P., 10 Sep 2016, In : Concurrency and Computation : Practice and Experience. 28, 13, p. 3606-3636 31 p.

    Research output: Contribution to journalArticle

  2. Published

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

    Linton, S. A., Niemeyer, A. C. & Praeger, C. E., May 2015, In : Journal of Algebra Combinatorics Discrete Structures and Applications. 2, 2, p. 117-149

    Research output: Contribution to journalArticle

  3. Published

    Equivalence classes of permutations under various relations generated by constrained transpositions

    Linton, S. A., Propp, J., Roby, T. & West, J., 2 Nov 2012, In : Journal of Integer Sequences. 15, 9, 23 p., 12.9.1.

    Research output: Contribution to journalArticle

  4. Published

    Multiplicity-free permutation characters of covering groups of sporadic simple groups

    Linton, S. A. & Mpono, Z. E., 2013, In : Math. J. Okayama Univ.. 55, p. 145-155 11 p.

    Research output: Contribution to journalArticle

  5. Published

    Regular languages of plus- and minus-(in)decomposable permutations

    Hoffmann, R. & Linton, S., 2013, In : Pure Math. Appl. (PU.M.A.). 24, 2, p. 143-150 8 p.

    Research output: Contribution to journalArticle

  6. Published

    Generating custom propagators for arbitrary constraints

    Gent, I. P., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P., Jun 2014, In : Artificial Intelligence. 211, p. 1-33 33 p.

    Research output: Contribution to journalArticle

  7. Published

    Qualitative modelling via constraint programming

    Kelsey, T., Kotthoff, L., Jefferson, C. A., Linton, S. A., Miguel, I. J., Nightingale, P. & Gent, I. P., Apr 2014, In : Constraints. 19, 2, p. 163-173

    Research output: Contribution to journalArticle

  8. Published

    S-crucial and bicrucial permutations with respect to squares

    Gent, I., Kitaev, S., Konovalov, A., Linton, S. & Nightingale, P., 3 Jun 2015, In : Journal of Integer Sequences. 18, 6, 22 p., 15.6.5.

    Research output: Contribution to journalArticle

  9. Published

    Interfacing Coq + SSReflect with GAP

    Komendantsky, V., Konovalov, A. & Linton, S. A., 19 Sep 2012, In : Electronic Notes in Theoretical Computer Science. 285, 19, p. 17-28

    Research output: Contribution to journalArticle

  10. Published

    Torsion Units in Integral Group Ring of the Mattieu Simple Group M22

    Bovdi, V. A., Konovalov, A. B. & Linton, S., 2008, In : LMS Journal of Computation and Mathematics. 11, p. 28-39 12 p.

    Research output: Contribution to journalArticle

  11. Published

    The insertion encoding of permutations

    Albert, M. H., Linton, S. & Ruskuc, N., 19 Sep 2005, In : Electronic Journal of Combinatorics. 12, 1, p. - 31 p., R47.

    Research output: Contribution to journalArticle

  12. Published

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

    Linton, S. A., Hammond, K., Konovalov, A., Brown, C. M., Trinder, P. W., Loidl, H-W., Horn, P. & Roozemond, D., Feb 2013, In : Journal of Symbolic Computation. 49, p. 95-119 15 p.

    Research output: Contribution to journalArticle

  13. Forthcoming

    Algorithmic Generalisations of Small Cancellation Theory

    Neunhoeffer, M., Roney-Dougal, C. M., Linton, S. A., Parker, R. & Burdges, J. P., 2013, (In preparation) In : Not yet known.

    Research output: Contribution to journalArticle

  14. Published

    On convex permutations

    Albert, M. H., Linton, S. A., Ruskuc, N., Vatter, V. & Waton, S., May 2011, In : Discrete Mathematics. 311, 8-9, p. 715-722

    Research output: Contribution to journalArticle

  15. Published

    Torsion Units in Integral Group Rings of Conway Simple Groups

    Bovdi, V., Konovalov, A. & Linton, S. A., 2011, In : International Journal of Algebra and Computation. 21, 4, p. 615 634 p.

    Research output: Contribution to journalArticle

  16. Published

    Finite 3-groups of class 3 whose elements commute with their automorphic images

    Abdollahi, A., Faghihi, A., Linton, S. A. & O'Brien, E. A., 2010, In : Archiv der Mathematik. 95, 1, p. 1-7 7 p.

    Research output: Contribution to journalArticle

  17. Published

    Permutations Generated by Stacks and Deques

    Albert, M., Atkinson, M. D. & Linton, S. A., Mar 2010, In : Annals of Combinatorics. 14, 1, p. 3-16 14 p.

    Research output: Contribution to journalArticle

  18. Published

    Growing at a Perfect Speed

    Albert, M. H. & Linton, S. A., May 2009, In : Combinatorics, Probability and Computing. 18, 3, p. 301-308 8 p.

    Research output: Contribution to journalArticle

  19. Published

    Editorial: The integration of automated reasoning and computer algebra systems

    Linton, S. & Sebastiani, R., Oct 2002, In : Journal of Symbolic Computation. 34, p. 239-239 1 p.

    Research output: Contribution to journalEditorial

  20. Published

    Constructive membership in black-box groups

    Holmes, P. E., Linton, S. A., O'Brien, E. A., Ryba, A. J. E. & Wilson, R. A., Nov 2008, In : Journal of Group Theory. 11, 6, p. 747-763 17 p.

    Research output: Contribution to journalArticle

  21. Published

    Product Replacement in the Monster

    Holmes, P. E., Linton, S. A. & Murray, S. H., 2003, In : Journal of Experimental Mathematics. 12, 1, p. 123-126 4 p.

    Research output: Contribution to journalArticle

  22. Published

    Using the Mal'cev correspondence for collection in polycyclic groups

    Assmann, B. & Linton, S. A., 15 Oct 2007, In : Journal of Algebra. 316, 2, p. 828-848 21 p.

    Research output: Contribution to journalArticle

  23. Published

    Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems

    Linton, S. A. (ed.) & Sebastiani, R. (ed.), Oct 2002, In : Journal of Symbolic Computation. 34, 4, 68 p.

    Research output: Contribution to journalSpecial issue

  24. Published

    Counting cases in substitope algorithms

    Banks, D. C., Linton, S. A. & Stockmeyer, P. K., Jul 2004, In : IEEE Transactions on Visualization and Computer Graphics. 10, 4, p. 371-384 14 p.

    Research output: Contribution to journalArticle

  25. Published

    Computing transformation semigroups

    Linton, S. A., Pfeiffer, G., Robertson, E. F. & Ruskuc, N., Feb 2002, In : Journal of Symbolic Computation. 33, 2, p. 145-162 18 p.

    Research output: Contribution to journalArticle

  26. Published

    The Primitive Distance-Transitive Representations of the Fischer Groups

    Linton, S. A., Lux, K. & Soicher, LH., 1995, In : Experimental Mathematics. 4, p. 235-253

    Research output: Contribution to journalArticle

  27. Published

    Fourier Transforms with Respect to Monomial Representations

    Linton, S. A., Michler, GO. & Olsson, JB., Oct 1993, In : Mathematische Annalen. 297, p. 253-268 16 p.

    Research output: Contribution to journalArticle

  28. Published

    Contemporary Computer Algebra Systems

    Linton, S. A. & Smith, GC., 1993, In : Analele Universității din Timișoara. Seria Matematică-informatică. 31, p. 203-216

    Research output: Contribution to journalArticle

  29. Published

    The Maximal Subgroups of the Thompson Group

    Linton, S. A., Feb 1989, In : Journal of the London Mathematical Society. 39, p. 79-88 10 p.

    Research output: Contribution to journalArticle

  30. Published

    The Maximal Subgroups of the Fischer Groups Fi24 and Fi'24

    Linton, S. A. & Wilson, R. A., Jul 1991, In : Proceedings of the London Mathematical Society. 63, 1, p. 113-164 52 p.

    Research output: Contribution to journalArticle

  31. Published

    On Vector Enumeration

    Linton, S. A., Oct 1993, In : Linear Algebra and its Applications. 192, p. 235-248 14 p.

    Research output: Contribution to journalArticle

  32. Published

    Double Coset Enumeration

    Linton, S. A., Oct 1991, In : Journal of Symbolic Computation. 12, p. 415-426 12 p.

    Research output: Contribution to journalArticle

  33. Published

    Corrections to: "The Maximal Subgroups of the Thompson Group"

    Linton, S. A., Apr 1991, In : Journal of the London Mathematical Society. 43, p. 253-254 2 p.

    Research output: Contribution to journalArticle

  34. Published

    Constructing Matrix Representations of Finitely Presented Groups

    Linton, S. A., Oct 1991, In : Journal of Symbolic Computation. 12, p. 427-438 12 p.

    Research output: Contribution to journalArticle

  35. Published

    Priority Queues and Multi-sets

    Atkinson, MD., Linton, S. A. & Walker, LA., 1995, In : Electronic Journal of Combinatorics. 2, p. Research Paper 24

    Research output: Contribution to journalArticle

  36. Published

    Distance-Transitive Representations of the Sporadic Groups

    Ivanov, AA., Linton, S. A., Lux, K., Saxl, J. & Soicher, LH., 1995, In : Communications in Algebra. 23, p. 3379-3427 49 p.

    Research output: Contribution to journalArticle

  37. Published

    Computer Construction of the Monster

    Linton, S. A., Parker, R., Walsh, P. & Wilson, R., 1998, In : Journal of Group Theory. 1, 4, p. 307-337 31 p.

    Research output: Contribution to journalArticle

  38. Published

    Groups and Actions in Transformation Semigroups

    Linton, S. A., Pfeiffer, G., Robertson, E. F. & Ruskuc, N., Jul 1998, In : Mathematische Zeitschrift. 228, 3, p. 435-450 16 p.

    Research output: Contribution to journalArticle

  39. Published

    Some Group Theoretic Examples with Completion Theorem Provers

    Linton, S. A. & Shand, DD., Oct 1996, In : Journal of Automated Reasoning. 17, 2, p. 145-169 25 p.

    Research output: Contribution to journalArticle

Top