@book{20511,
	author = {Gao, Xiao-Shan and Wang, Dongming and Wang, Dongming; Jt. ed.},
	title = {Mathematics mechanization and applications},
	publisher = {Academic Press},
	year = {2000},
	address = {San Francisco},
	note = {"Purchased under NBHM grant for the year 2000-2001".}
}