Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Working paper › Research
  2. 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

  3. Paper › Research › Not peer-reviewed
  4. 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

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

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

  7. Published

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

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

    Research output: Contribution to conferencePaper

  8. Published

    Finding the Smallest Image of a Set

    Linton, S. A., 2004, p. 229--234.

    Research output: Contribution to conferencePaper

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

  10. Published

    The GAP4 Type System: Organizing Algebraic Algorithms

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

    Research output: Contribution to conferencePaper

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

  12. Paper › Research › Peer-reviewed
  13. Published

    Groupoids and Conditional Symmetry

    Gent, I. P., Kelsey, T. W., Linton, S. A., Pearson, J., Roney-Dougal, C. M. & Bessiere, C., Sep 2007, p. 823-830.

    Research output: Contribution to conferencePaper

  14. Published
  15. Published

    Symbolic Computation Software Composability

    Freundt, S., Horn, P., Konovalov, A., Linton, S. & Roozemond, D., 2008, p. 285--295.

    Research output: Contribution to conferencePaper

  16. Published

    Total ordering on subgroups and cosets

    Hulpke, A. & Linton, S., 2003, p. 156--160 (electronic).

    Research output: Contribution to conferencePaper

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

  18. Published

    View of Computer Algebra Data from Coq

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

    Research output: Contribution to conferencePaper

  19. Poster › Research › Not peer-reviewed
  20. Published

    Symbolic computations as Grid and Web services

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

    Research output: Contribution to conferencePoster

  21. Software › Research
  22. Forthcoming

    GAP package Small Cancellation Theory

    Neunhoeffer, M., Roney-Dougal, C. M., Burdges, J. P., Linton, S. A. & Parker, R. A., 2013, (In preparation)

    Research output: Non-textual formSoftware

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

  24. Published

    GAP – Groups, Algorithms, and Programming, Version 4.10.0

    The GAP Group, Behrends, R., 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., 1 Nov 2018

    Research output: Non-textual formSoftware

  25. Published

    GAP – Groups, Algorithms, and Programming, Version 4.10.1

    The GAP Group, Behrends, R., 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., 23 Feb 2019

    Research output: Non-textual formSoftware

  26. Published

    GAP – Groups, Algorithms, and Programming, Version 4.10.2

    The GAP Group, Behrends, R., 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., 19 Jun 2019

    Research output: Non-textual formSoftware

  27. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.10

    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., 15 Jan 2018

    Research output: Non-textual formSoftware

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

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

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

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

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

  33. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.7

    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., 24 Mar 2017

    Research output: Non-textual formSoftware

  34. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.8

    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., 20 Aug 2017

    Research output: Non-textual formSoftware

  35. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.9

    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., 18 Dec 2017

    Research output: Non-textual formSoftware

  36. Published

    GAP – Groups, Algorithms, and Programming, Version 4.9.1

    The GAP Group, Behrends, R., 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., 5 May 2018

    Research output: Non-textual formSoftware

  37. Published

    GAP – Groups, Algorithms, and Programming, Version 4.9.2

    The GAP Group, Behrends, R., 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., 4 Jul 2018

    Research output: Non-textual formSoftware

  38. Published

    GAP – Groups, Algorithms, and Programming, Version 4.9.3

    The GAP Group, Behrends, R., 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., 5 Sep 2018

    Research output: Non-textual formSoftware

  39. Published

    PatternClass Version 2.4.2: A permutation pattern class package (GAP package)

    Hoffmann, R., Linton, S. & Albert, M., 24 Jul 2018

    Research output: Non-textual formSoftware

  40. Published
  41. Published
  42. Published
  43. Published
  44. Published
  45. Article › Research › Peer-reviewed
  46. Forthcoming

    Algorithmic Generalisations of Small Cancellation Theory

    Neunhoeffer, M., Roney-Dougal, C. M., Linton, S. A., Parker, R. & Burdges, J. P., 2013, (In preparation) In : Not yet known.

    Research output: Contribution to journalArticle

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

  48. Published

    Computing transformation semigroups

    Linton, S. A., Pfeiffer, G., Robertson, E. F. & Ruskuc, N., Feb 2002, In : Journal of Symbolic Computation. 33, 2, p. 145-162 18 p.

    Research output: Contribution to journalArticle

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

  50. Published

    Constructive membership in black-box groups

    Holmes, P. E., Linton, S. A., O'Brien, E. A., Ryba, A. J. E. & Wilson, R. A., Nov 2008, In : Journal of Group Theory. 11, 6, p. 747-763 17 p.

    Research output: Contribution to journalArticle

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

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

  53. Published

    Counting cases in substitope algorithms

    Banks, D. C., Linton, S. A. & Stockmeyer, P. K., Jul 2004, In : IEEE Transactions on Visualization and Computer Graphics. 10, 4, p. 371-384 14 p.

    Research output: Contribution to journalArticle

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

  55. Published

    Double Coset Enumeration

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

    Research output: Contribution to journalArticle

  56. Published

    Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation

    Linton, S. A., Hammond, K., Konovalov, A., Brown, C. M., Trinder, P. W., Loidl, H-W., Horn, P. & Roozemond, D., Feb 2013, In : Journal of Symbolic Computation. 49, p. 95-119 15 p.

    Research output: Contribution to journalArticle

Previous 1 2 3 Next
Top