机器化·高性能：薄层层析法

几何定理机器证明的基本原理 初等几何部分

方程求解与机器证明 基于MMP的问题求解

量子机器学习中数据挖掘的量子计算方法

机器文明数学本质

本书从思维问题入手，探讨火药火器与科学革命、思维革命、工业革命、资本主义全球体系是连续性因果关系。分析欧美用数学研究枪炮，中国不用数学研究枪炮的深层原因：为什么火药火器推动了西欧完成科学革命、思维...

物理实验设计与研究

实验设计 互变异分析及Z点设计法之探讨及研究

化学研究与设计性实验

本书介绍了科技文献资料的查阅和利用，实验研究的基本过程和思路。

几何定理机器证明的基本原理 初等几何部分

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

论初等几何定理的机器证明与消去法

本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...