Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

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

  3. Published

    Adult dental anxiety: recent assessment approaches and psychological management in a dental practice setting

    Humphris, G. M., Spyt, J., Herbison, A. & Kelsey, T., May 2016, In : Dental Update. 43, 4, p. 388-394 7 p.

    Research output: Contribution to journalArticle

  4. Submitted

    An exploration of normalish subgroups of R. Thompson's groups F and T

    Bleak, C., 10 Mar 2016, (Submitted) In : Proceedings of the American Mathematical Society. p. 1-4 4 p.

    Research output: Contribution to journalArticle

  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

    Coinductive soundness of corecursive type class resolution

    Farka, F., Komendantskaya, E., Hammond, K. & Fu, P., 18 Aug 2016, Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). arXiv, 15 p.

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

  7. Submitted

    Finite index subgroups of R. Thompson’s group F

    Bleak, C. P. & Wassink, B., 28 Jan 2016, (Submitted) In : Groups. Complexity. Cryptology. 26 p.

    Research output: Contribution to journalArticle

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

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

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

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

Previous 1 2 Next

ID: 1395

Top