Mathematics mechanization and applications after thirty years Wu WenjunGao Xiaoshan Review Article Pages: 1 - 8