Edinburgh Research Explorer

Dr Roy McCasland

(Former employee or visitor)

  1. 2017
  2. MATHsAiD: Automated Mathematical Theory Exploration

    Bundy, A., McCasland, R. & Smith, P., Oct 2017, In : Applied Intelligence. 47, 3, p. 585-606 22 p.

    Research output: Contribution to journalArticle

  3. 2015
  4. The Theory Behind TheoryMine

    Bundy, A., McCasland, R., Cavallo, F., Dixon, L. & Johansson, M., Jul 2015, In : IEEE Intelligent Systems. 30, 4, p. 64-69 6 p.

    Research output: Contribution to journalArticle

  5. 2012
  6. Scheme-based theorem discovery and concept invention

    Montano-Rivas, O., McCasland, R., Dixon, L. & Bundy, A., 2012, In : Expert Systems with Applications. 39, 2, p. 1637-1646 10 p.

    Research output: Contribution to journalArticle

  7. 2010
  8. Scheme-Based Synthesis of Inductive Theories

    Montano-Rivas, O., McCasland, R., Dixon, L. & Bundy, A., 2010, Advances in Artificial Intelligence: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I. Sidorov, G., Aguirre, A. H. & García, C. A. R. (eds.). Springer-Verlag GmbH, p. 348-361 14 p. (Lecture Notes in Computer Science; vol. 6437)

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

  9. 2008
  10. Generalised associated primes and radicals of submodules

    McCasland, R. & Smith, P., Jul 2008, In : International Electronic Journal of Algebra. 4, p. 159-176 18 p.

    Research output: Contribution to journalArticle

  11. Automatic Construction and Verification of Isotopy Invariants

    Sorge, V., Meier, A., McCasland, R. & Colton, S., Mar 2008, In : Journal of Automated Reasoning. 40, 2-3, p. 221-243 23 p.

    Research output: Contribution to journalArticle

  12. Classification results in quasigroup and loop theory via a combination of automated reasoning tools

    Sorge, V., Colton, S., McCasland, R. & Meier, A., 2008, In : Commentationes Mathematicae Universitatis Carolinae. 49, 2, p. 319-339 21 p.

    Research output: Contribution to journalArticle

  13. 2007
  14. Automated Discovery of Inductive Theorems

    McCasland, R., Bundy, A. & Serge, A., 2007, In : Studies in Logic, Grammar and Rhetoric. 10, 23

    Research output: Contribution to journalArticle

  15. 2006
  16. Ascertaining Mathematical Theorems

    McCasland, R., Bundy, A. & Smith, P., 2006, In : Electronic Notes in Theoretical Computer Science. 151, 1, p. 21-38 18 p.

    Research output: Contribution to journalArticle

  17. MATHsAiD: A Mathematical Theorem Discovery Tool

    McCasland, R. L. & Bundy, A., 2006, Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on. Institute of Electrical and Electronics Engineers (IEEE), p. 17-22 6 p.

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