Edinburgh Research Explorer

MATHsAiD: Automated Mathematical Theory Exploration

Research output: Contribution to journalArticle

Standard

MATHsAiD: Automated Mathematical Theory Exploration. / Bundy, Alan; McCasland, Roy; Smith, Patrick.

In: Applied Intelligence, Vol. 47, No. 3, 10.2017, p. 585-606.

Research output: Contribution to journalArticle

Harvard

Bundy, A, McCasland, R & Smith, P 2017, 'MATHsAiD: Automated Mathematical Theory Exploration' Applied Intelligence, vol. 47, no. 3, pp. 585-606. DOI: 10.1007/s10489-017-0954-8

APA

Bundy, A., McCasland, R., & Smith, P. (2017). MATHsAiD: Automated Mathematical Theory Exploration. DOI: 10.1007/s10489-017-0954-8

Vancouver

Bundy A, McCasland R, Smith P. MATHsAiD: Automated Mathematical Theory Exploration. Applied Intelligence. 2017 Oct;47(3):585-606. Available from, DOI: 10.1007/s10489-017-0954-8

Author

Bundy, Alan ; McCasland, Roy ; Smith, Patrick. / MATHsAiD: Automated Mathematical Theory Exploration. In: Applied Intelligence. 2017 ; Vol. 47, No. 3. pp. 585-606