Research output per year
Research output per year
Search results
-
2017
MATHsAiD: Automated Mathematical Theory Exploration
Bundy, A., McCasland, R. & Smith, P., Oct 2017, In: Applied Intelligence. 47, 3, p. 585-606 22 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2015
The Theory Behind TheoryMine
Bundy, A., McCasland, R., Cavallo, F., Dixon, L. & Johansson, M., Jul 2015, In: IEEE Intelligent Systems. 30, 4, p. 64-69 6 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2012
Scheme-based theorem discovery and concept invention
Montano-Rivas, O., McCasland, R., Dixon, L. & Bundy, A., 2012, In: Expert Systems with Applications. 39, 2, p. 1637-1646 10 p.Research output: Contribution to journal › Article › peer-review
-
2011
Automated theorem provers: a practical tool for the working mathematician?
Bundy, A., Jan 2011, In: Annals of Mathematics and Artificial Intelligence. 61, 1, p. 3-14 12 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2008
Automatic Construction and Verification of Isotopy Invariants
Sorge, V., Meier, A., McCasland, R. & Colton, S., Mar 2008, In: Journal of Automated Reasoning. 40, 2-3, p. 221-243 23 p.Research output: Contribution to journal › Article › peer-review