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