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

Previous 1 2 3 4 5 6 7 8 ...11 Next