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