Skip to content

Research at St Andrews

University > Research portal > Researchers > Stephen Alexander Linton > Research publications

Stephen Alexander Linton

Person

1 - 2 out of 2Page size: 20
Sort by: Type
  1. Conference contribution › Research
  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 proceeding › Conference contribution

  3. Chapter › Research
  4. 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 proceeding › Chapter

Type

Publication year

Status

DOI

Top