Browse by Research Project Code
 | Up a level |
McCasland, R. L., Bundy, A. and Smith, P.F. (2017) MATHsAiD: automated mathematical theory exploration. Applied Intelligence, 47(3), pp. 585-606. (doi: 10.1007/s10489-017-0954-8)
In this section
| Up a level |
McCasland, R. L., Bundy, A. and Smith, P.F. (2017) MATHsAiD: automated mathematical theory exploration. Applied Intelligence, 47(3), pp. 585-606. (doi: 10.1007/s10489-017-0954-8)