Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. 2004
  2. Published

    Tractable Symmetry Breaking using Restricted Search Trees

    Roney-Dougal, C. M., Gent, I. P., Kelsey, T. W. & Linton, S. A., Aug 2004, ECAI 2004: 16th European Conference on Artificial Intelligence, August 22-27, 2004, Valencia, Spain. López de Mántaras, R. & Saitta, L. (eds.). IOS Press, p. 211-215 5 p. (Frontiers in artificial intelligence and applications; vol. 110).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. 2003
  4. Published

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

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

    Research output: Contribution to conferencePaper

  5. Published

    Generic SBDD Using Computational Group Theory

    Gent, I. P., Harvey, W., Kelsey, T. W. & Linton, S. A., Oct 2003, Principles and Practice of Constraint Programming – CP 2003: 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; Proceedings. Rossi, F. (ed.). Springer, p. 333-347 15 p. ( Lecture Notes in Computer Science; vol. 2833).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

  7. Published

    Total ordering on subgroups and cosets

    Hulpke, A. & Linton, S., 2003, p. 156--160 (electronic).

    Research output: Contribution to conferencePaper

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

  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 journalEditorial

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

  12. 2000
  13. Published

    Computational and geometric aspects of modern algebra

    Atkinson, M., Gilbert, N., Howie, J. M., Linton, S. A. & Robertson, E. F., 2000, Cambridge University Press.

    Research output: Book/ReportBook

  14. 1999
  15. Published

    Formal Methods for Extensions to CAS

    Dunstan, MN., Kelsey, T. W., Linton, S. A. & Martin, U., 1999, Proceedings of Formal Methods 1999. Springer-Verlag, p. 1758-1777 (Lecture Notes in Computer Science; vol. 1709).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution