Edinburgh Research Explorer

Dr Roy McCasland

(Former employee or visitor)

Research outputs

  1. The Theory Behind TheoryMine

    Research output: Contribution to journalArticle

  2. Scheme-based theorem discovery and concept invention

    Research output: Contribution to journalArticle

  3. MATHsAiD: Automated Mathematical Theory Exploration

    Research output: Contribution to journalArticle

View all (10) »

Research projects

  1. Automated reasoning in large structured theories

    Project: Funded ProjectResearch

  2. Automated Theorem Discovery

    Project: Funded ProjectResearch

View all (2) »

ID: 4370