Roy L. McCasland

According to our database, Roy L. McCasland authored at least 8 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

MATHsAiD: Automated mathematical theory exploration.

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

Appl. Intell., 2017

2015

The Theory behind Theory Mine.

Alan Bundy, Flaminia Cavallo, Lucas Dixon, Moa Johansson, Roy L. McCasland

IEEE Intell. Syst., 2015

2012

Scheme-based theorem discovery and concept invention.

Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy

Expert Syst. Appl., 2012

2010

Scheme-Based Synthesis of Inductive Theories.

Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy

Proceedings of the Advances in Artificial Intelligence, 2010

2008

Automatic Construction and Verification of Isotopy Invariants.

Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton

J. Autom. Reason., 2008

2006

MATHsAiD: A Mathematical Theorem Discovery Tool.

Roy L. McCasland, Alan Bundy

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

2005

Ascertaining Mathematical Theorems.

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

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

2004

Automatic Generation of Classification Theorems for Finite Algebras.

Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004