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