Mathematics Mechanization and Applications door Dongming Wang & Xiao-Shan Gao