高小山的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。
吴文俊与中国数学
姜伯驹, 李邦河, 高小山, 李文林
评分 暂无
方程求解与机器证明
高小山 等著
《方程求解与机器证明:基于MMP的问题求解》主要包括两部分内容：一是对MMP的基本功能的介绍，主要是前三章；二是通过MMP的实例介绍了数学机械化的基本理论与最新进展，特别是方程求解与机器证明方面的结果。第四章介绍了多项式系统，常微分系统，偏微分系统的吴零点分解定理与投影定理。第五章介绍初等与微分几何中定理自动证明与自动发现的吴方法。第六章介绍代数方程求解的吴消元法以及参数方程求解、预解式理论及其应
