Gao, Xiao-shan and Wang, Dongming Mathematics mechanizations and applications Gao, Xiao-shan and Wang, Dongming - Academic 2000 Dewey Class. No.: BK / T00 GAO.W