MATHsAiD: Automated Mathematical Theory Exploration

Paper accepted for publication in the journal Applied Intelligence, subject to minor revisions

McCasland, R.L.

School of Informatics, University of Edinburgh           

Bundy, A.            

School of Informatics, University of Edinburgh            

Smith, P.F.            

Department of Mathematics, University of Glasgow