Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

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

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

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

Top