Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2000
  2. Published

    Exact Numerical Computation via Symbolic Computation

    Kelsey, T. W., 2000, p. 187-198.

    Research output: Contribution to conferencePaper

  3. Published

    HaskSkel: Algorithmic Skeletons in Haskell

    Hammond, K., Portillo, AJR., Koopman, P. & Clack, C., 2000, p. 181-198.

    Research output: Contribution to conferencePaper

  4. Published

    Hume: a Bounded Time Concurrent Language

    Hammond, K., 1 Dec 2000, p. 407-411.

    Research output: Contribution to conferencePaper

  5. Published

    Local Search on Random 2+p-SAT

    Singer, J., Gent, I. P., Smaill, A. & Horn, W., 2000.

    Research output: Contribution to conferencePaper

  6. Published

    On the efficiency of wreath products of groups

    Campbell, C. M., Ayik, H., O'Connor, J. J. & Ruskuc, N., 2000, p. 39-51.

    Research output: Contribution to conferencePaper

  7. Published

    Symmetry Breaking in Constraint Programming

    Gent, I. P., Smith, BM. & Horn, W., 2000, p. 599-603.

    Research output: Contribution to conferencePaper

  8. Published

    The Dynamic Semantics of Hume: a Functionally-Based Concurrent Language with Bounded Time and Space Behaviour

    Hammond, K., 1 Sep 2000, p. 122--139.

    Research output: Contribution to conferencePaper

  9. Published

    The semigroup efficiency of direct powers of groups

    Ayik, H., Campbell, C. M., O'Connor, J. J. & Ruskuc, N., 2000, p. 19-25.

    Research output: Contribution to conferencePaper

  10. 2001
  11. Published

    A Maple-PVS Interface

    Dunstan, M. N., Gottliebsen, H., Kelsey, T. W. & Martin, U., 2001.

    Research output: Contribution to conferencePaper

  12. Published

    A Constraint Programming Approach to the Stable Marriage Problem

    Gent, I. P., Irving, RW., Manlove, DF., Prosser, P., Smith, BM. & Walsh, T., 2001, p. 225-239.

    Research output: Contribution to conferencePaper

Previous 1 2 3 4 5 6 7 Next

ID: 1395

Top