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