Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2019
  2. Published

    Towards Lifted Encodings for Numeric Planning in Essence Prime

    Espasa Arxer, J., Miguel, I. J., Villaret, M. & Coll, J., 30 Sep 2019.

    Research output: Contribution to conferencePaper

  3. 2018
  4. Published
  5. 2015
  6. Published

    Towards ‘Metaheuristics in the Large’

    Swann, J. & Hammond, K., 7 Jun 2015. 9 p.

    Research output: Contribution to conferencePaper

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

  9. 2011
  10. Published

    Improving your CASH flow: The Computer Algebra SHell

    Brown, C. M., Loidl, H-W., Berthold, J. & Hammond, K., 2011. 16 p.

    Research output: Contribution to conferencePaper

  11. Published

    Paraforming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques

    Brown, C. M., Hammond, K. & Loidl, H-W., 1 Oct 2011. 16 p.

    Research output: Contribution to conferencePaper

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

  13. 2010
  14. Published

    The dynamics of human ovarian reserve

    Kelsey, T. W., Mar 2010.

    Research output: Contribution to conferencePaper

  15. Published

    Ever Decreasing Circles: a Skeleton for Parallel Orbit Calculations in Eden

    Brown, C. M. & Hammond, K., May 2010.

    Research output: Contribution to conferencePaper

  16. 2009
  17. Published

    Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures

    Zain, A. A., Hammond, K., Berthold, J., Trinder, P. W., Michaelson, G. & Aswad, M., 2009, p. 25-36.

    Research output: Contribution to conferencePaper

Previous 1 2 3 4 5 6 7 Next

ID: 1395

Top