Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. 1998
  2. Published

    Lightweight Formal Methods for Computer Algebra Systems

    Martin, U. H. M., Dunstan, MN., Kelsey, T. W. & Linton, S. A., 1998, Proceedings of the International Symposium on Symbolic and Algebraic Computation. ACM, p. 80-87 8 p.

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

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

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

  5. Published

    Symmetric Presentations and Orthogonal Groups

    Campbell, C. M., Havas, G., Linton, S. A. & Robertson, E. F., 1998, The Atlas of Finite Groups: Ten Years On (Birmingham, 1995). Curtis, R. & Wilson, R. (eds.). Cambridge University Press, p. 1-10

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Published

    The GAP4 Type System: Organizing Algebraic Algorithms

    Linton, S. A. & Breuer, T., 1998, p. 38-45.

    Research output: Contribution to conferencePaper

Top