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 journalArticle

  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 journalArticle

  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

  7. 1997
  8. Published

    Constructive Recognition of a Black Box Group Isomorphic to GL(n,2)

    Cooperman, G., Finkelstein, L. & Linton, S. A., 1997, Groups and Computation II (New Brunswick, NJ, 1995), vol 28. Finkelstein, L. & Kantor, W. (eds.). American Mathematical Society, p. 85-100

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. 1996
  10. Published

    Algebra and Automated Deduction

    Linton, S. A., Martin, U. H. M., Prohle, P. & Shand, DD., 1996, p. 448-462.

    Research output: Contribution to conferencePaper

  11. Published

    Some Group Theoretic Examples with Completion Theorem Provers

    Linton, S. A. & Shand, DD., Oct 1996, In : Journal of Automated Reasoning. 17, 2, p. 145-169 25 p.

    Research output: Contribution to journalArticle

  12. 1995
  13. Published

    Distance-Transitive Representations of the Sporadic Groups

    Ivanov, AA., Linton, S. A., Lux, K., Saxl, J. & Soicher, LH., 1995, In : Communications in Algebra. 23, p. 3379-3427 49 p.

    Research output: Contribution to journalArticle

  14. Published

    Generalizations of the Todd-Coxeter Algorithm

    Linton, S. A., 1995, Computational Algebra and Number Theory (Sydney, 1992). Kluwer, p. 29-51

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1...3 4 5 6 7 8 9 Next
Top