TY - Front. Comput. Sci. A1 - WU Wenjun, Wen-Tsun Wu, GAO Xiaoshan T1 - Mathematics mechanization and applications after thirty years Y1 - 2007-03-05 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 1 EP - 8 VL - 1 IS - 1 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-007-0001-8 ER -