题名	责任者	出版社	索书号
历史上最伟大的10个方程	(美) Robert P. Crease著	人民邮电出版社	O122.2/464
方程求解与机器证明:基于MMP的问题求解	高小山[等]著	科学出版社	O122.2/092