Lin, Fangzhen. “Machine Theorem Discovery”. AI Magazine 39, no. 2 (July 1, 2018): 53-59. Accessed April 19, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2794.