Lin, F. 2018. Machine Theorem Discovery. AI Magazine. 39, 2 (Jul. 2018), 53-59. DOI:https://doi.org/10.1609/aimag.v39i2.2794.