Roy L. McCasland

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 1

Top Topics

Mathematical Theory

Top Venues

IEEE Intell. Syst.

Expert Syst. Appl.

Publications

Roy L. McCasland, Alan Bundy, Patrick F. Smith
MATHsAiD: Automated mathematical theory exploration. Appl. Intell. 47 (3) (2017)
Alan Bundy, Flaminia Cavallo, Lucas Dixon, Moa Johansson, Roy L. McCasland
The Theory behind Theory Mine. IEEE Intell. Syst. 30 (4) (2015)
Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy
Scheme-based theorem discovery and concept invention. Expert Syst. Appl. 39 (2) (2012)
Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy
Scheme-Based Synthesis of Inductive Theories. MICAI (1) (2010)
Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reason. 40 (2-3) (2008)
Roy L. McCasland, Alan Bundy
MATHsAiD: A Mathematical Theorem Discovery Tool. SYNASC (2006)
Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
Automatic Construction and Verification of Isotopy Invariants. IJCAR (2006)
Roy L. McCasland, Alan Bundy, Patrick F. Smith
Ascertaining Mathematical Theorems. Calculemus (2005)
Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland
Automatic Generation of Classification Theorems for Finite Algebras. IJCAR (2004)