Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

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

  2. Published

    The GAP4 Type System: Organizing Algebraic Algorithms

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

    Research output: Contribution to conferencePaper

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

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

  5. Published

    VSDITLU: a Verified Symbolic Definite Integral Table Look-up

    Martin, U. H. M., Adams, AA., Gottliebsen, H., Linton, S. A. & 1, O., 1999, p. 112-126.

    Research output: Contribution to conferencePaper

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

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

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

  9. Published

    The Art and Science of Computing in Large Groups

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Published

    Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study

    Adams, AA., Gottliebsen, H., Linton, S. A., Martin, U. H. M. & Dooley, S., 1999, p. 253-260.

    Research output: Contribution to conferencePaper

  11. Published

    Construction of Co3: an Example of the Use of an Integrated System for Computational Group Theory

    Hulpke, A. & Linton, S. A., 1999, p. 394-409.

    Research output: Contribution to conferencePaper

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

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

  14. Published

    Priority Queues and Multi-sets

    Atkinson, MD., Linton, S. A. & Walker, LA., 1995, In: Electronic Journal of Combinatorics. 2, p. Research Paper 24

    Research output: Contribution to journalArticlepeer-review

  15. Published

    Constructing Matrix Representations of Finitely Presented Groups

    Linton, S. A., Oct 1991, In: Journal of Symbolic Computation. 12, p. 427-438 12 p.

    Research output: Contribution to journalArticlepeer-review

  16. Published

    Corrections to: "The Maximal Subgroups of the Thompson Group"

    Linton, S. A., Apr 1991, In: Journal of the London Mathematical Society. 43, p. 253-254 2 p.

    Research output: Contribution to journalArticlepeer-review

  17. Published

    Double Coset Enumeration

    Linton, S. A., Oct 1991, In: Journal of Symbolic Computation. 12, p. 415-426 12 p.

    Research output: Contribution to journalArticlepeer-review

  18. Published

    On Vector Enumeration

    Linton, S. A., Oct 1993, In: Linear Algebra and its Applications. 192, p. 235-248 14 p.

    Research output: Contribution to journalArticlepeer-review

  19. Published

    The Maximal Subgroups of the Thompson Group

    Linton, S. A., Feb 1989, In: Journal of the London Mathematical Society. 39, p. 79-88 10 p.

    Research output: Contribution to journalArticlepeer-review

  20. Published

    Contemporary Computer Algebra Systems

    Linton, S. A. & Smith, GC., 1993, In: Analele Universității din Timișoara. Seria Matematică-informatică. 31, p. 203-216

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 4 Next
Top