Roy L. McCasland, Alan Bundy, Patrick F. Smith. MATHsAiD: Automated mathematical theory exploration. Appl. Intell., 47(3):585-606, 2017. [doi]
@article{McCaslandBS17,
title = {MATHsAiD: Automated mathematical theory exploration},
author = {Roy L. McCasland and Alan Bundy and Patrick F. Smith},
year = {2017},
doi = {10.1007/s10489-017-0954-8},
url = {https://doi.org/10.1007/s10489-017-0954-8},
researchr = {https://researchr.org/publication/McCaslandBS17},
cites = {0},
citedby = {0},
journal = {Appl. Intell.},
volume = {47},
number = {3},
pages = {585-606},
}