M2R-AO3: How Does a Computer Perform Symbolic Mathematics? - Zhu, Hanchong (2020)