Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. 2019
  2. 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

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

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

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

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

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

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

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

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

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

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

  15. Published
  16. Published
  17. Published
  18. Published
  19. 2016
  20. 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

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

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

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

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

  25. Published

    HPC-GAP: engineering a 21st-century High-Performance Computer algebra system

    Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S. A., Loidl, H-W., Maier, P. & Trinder, P., 10 Sep 2016, In : Concurrency and Computation : Practice and Experience. 28, 13, p. 3606-3636 33 p.

    Research output: Contribution to journalArticle

  26. 2015
  27. Published

    Identifying long cycles in finite alternating and symmetric groups acting on subsets

    Linton, S. A., Niemeyer, A. C. & Praeger, C. E., May 2015, In : Journal of Algebra Combinatorics Discrete Structures and Applications. 2, 2, p. 117-149

    Research output: Contribution to journalArticle

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

  29. 2014
  30. Published

    Generating custom propagators for arbitrary constraints

    Gent, I. P., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P., Jun 2014, In : Artificial Intelligence. 211, p. 1-33 33 p.

    Research output: Contribution to journalArticle

  31. Published

    Qualitative modelling via constraint programming

    Kelsey, T., Kotthoff, L., Jefferson, C. A., Linton, S. A., Miguel, I. J., Nightingale, P. & Gent, I. P., Apr 2014, In : Constraints. 19, 2, p. 163-173

    Research output: Contribution to journalArticle

  32. Published

    Towards the calculation of Casimir forces for inhomogeneous planar media

    Xiong, C., Kelsey, T., Linton, S. A. & Leonhardt, U., 1 Oct 2014, Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks. Feng, R., Lee, W. & Sato, Y. (eds.). Springer, p. 171-180

    Research output: Chapter in Book/Report/Conference proceedingChapter

  33. 2013
  34. 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

  35. Published

    Casimir forces for inhomogeneous planar media

    Xiong, C., Kelsey, T., Linton, S. A. & Leonhardt, U., 25 Jan 2013, Journal of Physics: Conference Series. 1 ed. Vol. 401. 6 p. (Journal of Physics: Conference Series; vol. 410, no. 1).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

  40. Published

    Space exploration using parallel orbits: a study in parallel symbolic computing

    Janjic, V., Brown, C. M., Neunhoeffer, M., Hammond, K., Linton, S. A. & Loidl, H-W., Sep 2013, Parallel Computing: Accelerating Computational Science and Engineering (CSE). Bader, M., Bode, A., Bungartz, H-J., Gerndt, M., Joubert, G. R. & Peters, F. (eds.). IOS Press, Vol. 25. p. 225-232 8 p. (Advances in Parallel Computing).

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

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

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

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

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

  46. 2011
  47. Published

    On convex permutations

    Albert, M. H., Linton, S. A., Ruskuc, N., Vatter, V. & Waton, S., May 2011, In : Discrete Mathematics. 311, 8-9, p. 715-722

    Research output: Contribution to journalArticle

  48. Published
  49. Published

    Torsion Units in Integral Group Rings of Conway Simple Groups

    Bovdi, V., Konovalov, A. & Linton, S. A., 2011, In : International Journal of Algebra and Computation. 21, 4, p. 615 634 p.

    Research output: Contribution to journalArticle

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

  51. 2010
  52. Published

    Easy composition of symbolic computation software: a new lingua franca for symbolic computation

    Linton, S., Hammond, K., Konovalov, A., Al Zain, A. D., Trinder, P., Horn, P. & Roozemond, D., 2010, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation. ACM, p. 339-346 8 p. (ISSAC '10).

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

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

  54. Published

    Finite 3-groups of class 3 whose elements commute with their automorphic images

    Abdollahi, A., Faghihi, A., Linton, S. A. & O'Brien, E. A., 2010, In : Archiv der Mathematik. 95, 1, p. 1-7 7 p.

    Research output: Contribution to journalArticle

  55. Published

    On the permutational power of token passing networks

    Albert, M. H., Linton, S. A. & Ruskuc, N., Oct 2010, Permutation Patterns: St Andrews 2007. Linton, S., Ruskuc, N. & Vatter, V. (eds.). Cambridge: Cambridge University Press, p. 317-338 (LMS Lecture Notes).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  56. Published

    Parallel computations in modular group algebras

    Konovalov, A. & Linton, S. A., 2010, PASCO 10 : Proceedings of the 4th International Workshop on Parallel and Symbolic Computation, International Workshop 21-23 July 2010, Grenoble, France. New York: ACM, p. 141-149

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

  57. Published

    Parallelising the computational algebra system GAP

    Behrends, R., Konovalov, A., Linton, S., Lübeck, F. & Neunhöffer, M., 2010, Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO '10). New York, NY: ACM, p. 177-178

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

  58. Published

    Permutation Patterns 2007: St Andrews

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

    Research output: Book/ReportBook

  59. Published

    Permutations Generated by Stacks and Deques

    Albert, M., Atkinson, M. D. & Linton, S. A., Mar 2010, In : Annals of Combinatorics. 14, 1, p. 3-16 14 p.

    Research output: Contribution to journalArticle

  60. Published

    Towards high-performance computational algebra with GAP

    Behrends, R., Konovalov, A., Linton, S., Lübeck, F. & Neunhöffer, M., 2010, Proceedings of the Third International Congress on Mathematical Software: Kobe, Japan, September 13-17, 2010. Fukada, K., van der Hoeven, J., Joswig, M. & Takayama, N. (eds.). Springer, p. 58-61 (Lecture Notes in Computer Science; vol. 6327).

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

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

  63. Published

    Growing at a Perfect Speed

    Albert, M. H. & Linton, S. A., May 2009, In : Combinatorics, Probability and Computing. 18, 3, p. 301-308 8 p.

    Research output: Contribution to journalArticle

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

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

  67. Published

    Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System

    Al Zain, A. D., Trinder, P. W., Hammond, K., Konovalov, A., Linton, S. & Berthold, J., 2008, PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 99-112 14 p.

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

  68. Published

    Symbolic Computation Software Composability

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

    Research output: Contribution to conferencePaper

  69. Published

    Symmetry and Search --- A Survey

    Linton, S. A., 2008, Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics. Berlin, Heidelberg: Springer-Verlag, p. 1-1 1 p.

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

  70. Published

    Torsion Units in Integral Group Ring of the Mattieu Simple Group M22

    Bovdi, V. A., Konovalov, A. B. & Linton, S., 2008, In : LMS Journal of Computation and Mathematics. 11, p. 28-39 12 p.

    Research output: Contribution to journalArticle

  71. 2007
  72. 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

  73. Published

    GAPLex: Generalised Static Symmetry Breaking

    Jefferson, C. A., Kelsey, T. W., Linton, S. A. & Petrie, K., 2007, Trends in Constraint Programming. Benhamou, F., Jussien, N. & O'Sullivan, B. (eds.). ISTE, p. 187-201

    Research output: Chapter in Book/Report/Conference proceedingChapter

  74. Published

    SymGrid-Par: Designing a framework for executing computational algebra systems on computational grids

    Al Zain, A., Hammond, K., Trinder, P., Linton, S., Loidl, H-W. & Costanti, M., 2007, Computational Science – ICCS 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II. Shi, Y., Albada, G. D. V., Dongarra, J. & Sloot, P. M. A. (eds.). Springer, p. 617-624 8 p. (Lecture Notes in Computer Science; vol. 4488).

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

  75. Published

    Symbolic computations as Grid and Web services

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

    Research output: Contribution to conferencePoster

  76. Published

    Using the Mal'cev correspondence for collection in polycyclic groups

    Assmann, B. & Linton, S. A., 15 Oct 2007, In : Journal of Algebra. 316, 2, p. 828-848 21 p.

    Research output: Contribution to journalArticle

  77. 2006
  78. 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

  79. 2005
  80. Published

    Conditional symmetry breaking

    Gent, I. P., Kelsey, T., Linton, S. A., McDonald, I., Miguel, I. & Smith, B. M., Oct 2005, Principles and practice of constraint programming--CP 2005: 11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005 : Proceedings . Van Beek, P. (ed.). Springer, p. 256-270 15 p. (Lecture notes in computer science; vol. 3709).

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

  81. Published

    Symmetry and consistency

    Gent, I. P., Kelsey, T., Linton, S. & Roney-Dougal, C., 2005, Principles and Practice of Constraint Programming - CP 2005: Proceedings of the 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. van Beek, P. (ed.). Springer-Verlag, p. 271-285 15 p. (Lecture Notes in Computer Science; vol. 3709).

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

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

  83. 2004
  84. Published
  85. 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

  86. Published

    Finding the Smallest Image of a Set

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

    Research output: Contribution to conferencePaper

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

  88. 2003
  89. Published

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

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

    Research output: Contribution to conferencePaper

  90. Published

    Generic SBDD Using Computational Group Theory

    Gent, I. P., Harvey, W., Kelsey, T. W. & Linton, S. A., Oct 2003, Principles and Practice of Constraint Programming – CP 2003: 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; Proceedings. Rossi, F. (ed.). Springer, p. 333-347 15 p. ( Lecture Notes in Computer Science; vol. 2833).

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

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

  92. Published

    Total ordering on subgroups and cosets

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

    Research output: Contribution to conferencePaper

  93. 2002
  94. 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

  95. Published

    Editorial: The integration of automated reasoning and computer algebra systems

    Linton, S. & Sebastiani, R., Oct 2002, In : Journal of Symbolic Computation. 34, p. 239-239 1 p.

    Research output: Contribution to journalEditorial

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

  97. 2000
  98. 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

  99. 1999
  100. 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

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

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

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

  104. 1998
  105. 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

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

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

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

  109. Published

    The GAP4 Type System: Organizing Algebraic Algorithms

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

    Research output: Contribution to conferencePaper

  110. 1997
  111. 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

  112. 1996
  113. 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

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

  115. 1995
  116. 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

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

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

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

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

  121. 1993
  122. 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

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

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

  125. 1991
  126. 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

Previous 1 2 Next
Top