Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. 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 journalArticlepeer-review

  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 journalArticlepeer-review

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

  4. Published

    New developments in symmetry breaking in search using computational group theory

    Kelsey, T. W., Linton, S. A. & Roney-Dougal, C. M., 2004, p. 199-210.

    Research output: Contribution to conferencePaperpeer-review

  5. Published

    Finding the Smallest Image of a Set

    Linton, S. A., 2004, p. 229--234.

    Research output: Contribution to conferencePaper

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

  7. Published

    GAPLex: Generalised Static Symmetry Breaking

    Jefferson, C. A., Kelsey, T. W., Linton, S. A. & Petrie, K., 2007, Trends in Constraint Programming. Benhamou, F., Jussien, N. & O'Sullivan, B. (eds.). ISTE, p. 187-201

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Published

    Groupoids and Conditional Symmetry

    Gent, I. P., Kelsey, T. W., Linton, S. A., Pearson, J., Roney-Dougal, C. M. & Bessiere, C., Sep 2007, p. 823-830.

    Research output: Contribution to conferencePaperpeer-review

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

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

Previous 1 2 3 4 Next
Top