Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Conference contribution › Research
  2. Published

    An efficient programming model for memory-intensive recursive algorithms using parallel disks

    Slavici, V., Kunkle, D., Cooperman, G. & Linton, S. A., 2012, ISSAC 2012: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation . New York: ACM, p. 327-334 8 p.

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

  3. Article › Research › Peer-reviewed
  4. Published

    Equivalence classes of permutations under various relations generated by constrained transpositions

    Linton, S. A., Propp, J., Roby, T. & West, J., 2 Nov 2012, In : Journal of Integer Sequences. 15, 9, 23 p., 12.9.1.

    Research output: Contribution to journalArticle

  5. Published

    Interfacing Coq + SSReflect with GAP

    Komendantsky, V., Konovalov, A. & Linton, S. A., 19 Sep 2012, In : Electronic Notes in Theoretical Computer Science. 285, 19, p. 17-28

    Research output: Contribution to journalArticle

Top