Roy L. McCasland

Scheme-Based Synthesis of Inductive Theories

Alan Bundy, Lucas Dixon, Omar Montano-Rivas, 2010, MICAI.

The Theory behind Theory Mine

Alan Bundy, Lucas Dixon, Moa Johansson, 2015, IEEE Intelligent Systems.

Automatic Construction and Verification of Isotopy Invariants

Simon Colton, Volker Sorge, Andreas Meier, 2006, IJCAR.

Automatic Construction and Verification of Isotopy Invariants

Simon Colton, Volker Sorge, Andreas Meier, 2007, Journal of Automated Reasoning.

MATHsAiD: Automated mathematical theory exploration

Alan Bundy, Roy L. McCasland, Patrick F. Smith, 2017, Applied Intelligence.

Automatic Generation of Classification Theorems for Finite Algebras

Simon Colton, Volker Sorge, Andreas Meier, 2004, IJCAR.

Ascertaining Mathematical Theorems

Alan Bundy, Roy L. McCasland, Patrick F. Smith, 2005, Calculemus.

MATHsAiD: A Mathematical Theorem Discovery Tool

Alan Bundy, Roy L. McCasland, A. Bundy, 2006, 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

Scheme-based theorem discovery and concept invention

Alan Bundy, Lucas Dixon, Omar Montano-Rivas, 2012, Expert Syst. Appl..