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