Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. 2016
  2. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.2

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 20 Feb 2016

    Research output: Non-textual formSoftware

  3. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.3

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 19 Mar 2016

    Research output: Non-textual formSoftware

  4. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.4

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 4 Jun 2016

    Research output: Non-textual formSoftware

  5. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.5

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 25 Sep 2016

    Research output: Non-textual formSoftware

  6. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.6

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 12 Nov 2016

    Research output: Non-textual formSoftware

  7. 2015
  8. Published

    S-crucial and bicrucial permutations with respect to squares

    Gent, I., Kitaev, S., Konovalov, A., Linton, S. & Nightingale, P., 3 Jun 2015, In: Journal of Integer Sequences. 18, 6, 22 p., 15.6.5.

    Research output: Contribution to journalArticlepeer-review

  9. 2013
  10. Published

    Multiplicity-free permutation characters of covering groups of sporadic simple groups

    Linton, S. A. & Mpono, Z. E., 2013, In: Math. J. Okayama Univ.. 55, p. 145-155 11 p.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    Regular languages of plus- and minus-(in)decomposable permutations

    Hoffmann, R. & Linton, S., 2013, In: Pure Math. Appl. (PU.M.A.). 24, 2, p. 143-150 8 p.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    UPCGAP: A UPC package for the GAP system

    Johnson, N., Konovalov, A., Janjic, V. & Linton, S. A., 2013, p. 217-221.

    Research output: Contribution to conferencePaperpeer-review

  13. 2012
  14. 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 journalArticlepeer-review

  15. 2011
  16. Published
  17. Published

    View of Computer Algebra Data from Coq

    Komendantsky, V., Konovalov, A. & Linton, S., 2011, p. 74-89. 16 p.

    Research output: Contribution to conferencePaperpeer-review

  18. 2010
  19. Published

    Equivalence relations of permutations generated by constrained transpositions

    Linton, S., Propp, J., Roby, T. & West, J., 2010, 22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010). Nancy: Assoc. Discrete Math. Theor. Comput. Sci., Nancy, p. 909-920 12 p. (Discrete Math. Theor. Comput. Sci. Proc., AN).

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

  20. Published

    Permutation Patterns 2007: St Andrews

    Linton, S., Ruskuc, N. & Vatter, V., 2010, Cambridge University Press. 345 p.

    Research output: Book/ReportBook

  21. 2009
  22. Published

    GAP package recog: a GAP package that implements a methods for constructive recognition

    Neunhoeffer, M., Seress, A., Brooksbank, P., Celler, F., Howe, S., Law, M., Linton, S., Malle, G., Niemeyer, A., O'Brien, E. & Roney-Dougal, C., 2009

    Research output: Non-textual formSoftware

  23. Published

    Symbolic Computation Software Composability Protocol (SCSCP) specification, Version 1.3

    Freundt, S., Horn, P., Konovalov, A., Linton, S. A. & Roozemond, D., 2009, 26 p.

    Research output: Working paper

  24. 2007
  25. Published

    Symbolic computations as Grid and Web services

    Hammond, K., Konovalov, O. B. & Linton, S. A., 2007.

    Research output: Contribution to conferencePoster

  26. 2006
  27. Published

    GAPLex: Generalised Static Symmetry Breaking

    Jefferson, C. A., Kelsey, T. W., Linton, S. A. & Petrie, K. E., Sep 2006, p. 17-23.

    Research output: Contribution to conferencePaper

  28. 2005
  29. Published

    The insertion encoding of permutations

    Albert, M. H., Linton, S. & Ruskuc, N., 19 Sep 2005, In: Electronic Journal of Combinatorics. 12, 1, p. - 31 p., R47.

    Research output: Contribution to journalArticlepeer-review

  30. 2004
  31. Published

    Tractable Symmetry Breaking using Restricted Search Trees

    Roney-Dougal, C. M., Gent, I. P., Kelsey, T. W. & Linton, S. A., Aug 2004, ECAI 2004: 16th European Conference on Artificial Intelligence, August 22-27, 2004, Valencia, Spain. López de Mántaras, R. & Saitta, L. (eds.). IOS Press, p. 211-215 5 p. (Frontiers in artificial intelligence and applications; vol. 110).

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

  32. 2003
  33. Published

    Counting Cases in Marching Cubes: Toward a Generic Algorithm for Producing Substitopes

    Banks, D. & Linton, S. A., 2003.

    Research output: Contribution to conferencePaper

  34. Published

    Product Replacement in the Monster

    Holmes, P. E., Linton, S. A. & Murray, S. H., 2003, In: Journal of Experimental Mathematics. 12, 1, p. 123-126 4 p.

    Research output: Contribution to journalArticlepeer-review

  35. 2002
  36. Published

    Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems

    Linton, S. A. (ed.) & Sebastiani, R. (ed.), Oct 2002, In: Journal of Symbolic Computation. 34, 4, 68 p.

    Research output: Contribution to journalSpecial issuepeer-review

  37. 2000
  38. Published

    Computational and geometric aspects of modern algebra

    Atkinson, M., Gilbert, N., Howie, J. M., Linton, S. A. & Robertson, E. F., 2000, Cambridge University Press.

    Research output: Book/ReportBook

  39. 1999
  40. Published

    Formal Methods for Extensions to CAS

    Dunstan, MN., Kelsey, T. W., Linton, S. A. & Martin, U., 1999, Proceedings of Formal Methods 1999. Springer-Verlag, p. 1758-1777 (Lecture Notes in Computer Science; vol. 1709).

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

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

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

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

  44. 1998
  45. 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

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

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

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

  49. Published

    The GAP4 Type System: Organizing Algebraic Algorithms

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

    Research output: Contribution to conferencePaper

  50. 1997
  51. 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

  52. 1996
  53. 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

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

  55. 1995
  56. 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

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

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

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

  60. Published

    The Primitive Distance-Transitive Representations of the Fischer Groups

    Linton, S. A., Lux, K. & Soicher, LH., 1995, In: Experimental Mathematics. 4, p. 235-253

    Research output: Contribution to journalArticlepeer-review

  61. 1993
  62. 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

  63. Published

    Fourier Transforms with Respect to Monomial Representations

    Linton, S. A., Michler, GO. & Olsson, JB., Oct 1993, In: Mathematische Annalen. 297, p. 253-268 16 p.

    Research output: Contribution to journalArticlepeer-review

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

  65. 1991
  66. 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

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

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

  69. 1989
  70. 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

Top