Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

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

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

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

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