Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Published

    GAPLex: Generalised Static Symmetry Breaking

    Jefferson, C. A., Kelsey, T. W., Linton, S. A. & Petrie, K. E., Sep 2006, p. 17-23.

    Research output: Contribution to conferencePaper

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

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

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

  5. Published

    Finding the Smallest Image of a Set

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

    Research output: Contribution to conferencePaper

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

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

  9. Published

    Counting Cases in Marching Cubes: Toward a Generic Algorithm for Producing Substitopes

    Banks, D. & Linton, S. A., 2003.

    Research output: Contribution to conferencePaper

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

Top