Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Article › Research › Peer-reviewed
  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

Previous 1 2 Next
Top