Wenjun Wu Xiaoshan Gao Mathematics mechanization and applications after thirty years. 1-8 2007 1 Frontiers of Computer Science in China 1 http://dx.doi.org/10.1007/s11704-007-0001-8 db/journals/fcsc/fcsc1.html#WuG07