有机化学学习指导和习题及解答 【数理化】

本书是作者《有机化学》一书的配套学习指导书。本书的特点是：1．内容简洁明了。将教材中的主要知识点较详细地列出，各类化合物常见的反应，典型的反应机理、常见合成方法作了详细说明，使读者既可与教材配套使用，......

平面几何定理的机器证明 【数理化】

数学机器简明教程 【数理化】

机器化·高性能：薄层层析法 【数理化】

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

第五届全国模式识别及机器智能学术会议 论文集 下 多关节机器人运动学模型 中科院沈阳自动化研究所 【数理化】

方程求解与机器证明 基于MMP的问题求解 【数理化】

机器文明数学本质 【数理化】

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

中等专业学校教学用书 理论力学 初稿 四年制机器制造性质专业适用 【数理化】

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

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