Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. Published

    A theoretical framework for constraint propagator triggering

    Cohen, D. A., Jefferson, C. & Petrie, K. E. J., 20 Jun 2016, Proceedings of the 9th Annual Symposium on Combinatorial Search, SoCS 2016. Baier, J. A. & Botea, A. (eds.). AAAI Press, Vol. 2016-January. p. 19-27 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Published
  3. Published

    OpenMath - OpenMath functionality in GAP, Version 11.3.0 (Refereed GAP package)

    Costantini, M., Konovalov, A., Nicosia, L. M. & Solomon, A., 8 Jan 2016

    Research output: Non-textual formSoftware

  4. Published

    OpenMath - OpenMath functionality in GAP, Version 11.3.1 (Refereed GAP package)

    Costantini, M., Konovalov, A., Nicosia, L. M. & Solomon, A., 28 Jan 2016

    Research output: Non-textual formSoftware

  5. Published

    Circle - Adjoint groups of finite rings, Version 1.5.4 (Refereed GAP package)

    Konovalov, A. & Soules, P., 8 Jan 2016

    Research output: Non-textual formSoftware

  6. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.2

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 20 Feb 2016

    Research output: Non-textual formSoftware

  7. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.3

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 19 Mar 2016

    Research output: Non-textual formSoftware

  8. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.4

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 4 Jun 2016

    Research output: Non-textual formSoftware

  9. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.5

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J. & Torpey, M. C., 25 Sep 2016

    Research output: Non-textual formSoftware

  10. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.6

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 12 Nov 2016

    Research output: Non-textual formSoftware

Previous 1 2 3 4 5 6 7 Next

ID: 1395

Top