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