@book{50737,
	author = {Gao, Xiao-Shan and Wang, Dongming},
	title = {Mathematics mechanization and applications},
	publisher = {Academic Press},
	year = {2000},
	address = {San Diego:}
}