Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

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

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

  5. 2008
  6. Published

    Symbolic Computation Software Composability

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

    Research output: Contribution to conferencePaper

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

  9. Published

    Symbolic computations as Grid and Web services

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

    Research output: Contribution to conferencePoster

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

  12. 2004
  13. Published
  14. Published

    Finding the Smallest Image of a Set

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

    Research output: Contribution to conferencePaper

  15. 2003
  16. Published

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

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

    Research output: Contribution to conferencePaper

  17. Published

    Total ordering on subgroups and cosets

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

    Research output: Contribution to conferencePaper

Previous 1 2 Next
Top