@book{13455,
	author = {Gao, Xiao-Shan (ed.) and Wang, Dongming.},
	title = {Mathematics mechanization and applications /},
	publisher = {San Diego,},
	year = {2000},
	address = {Academic Press :},
	note = {Includes index.}
}