无限维空间上测度和积分论 上 抽象调和分析 【数理化】

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

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

极简算法史 从数学到机器的故事 【数理化】

本书呈现了一段妙趣横生的人类思维史。从古希腊哲学到“无所不能”的计算机，数字、计算、推理这些貌似简单的概念在三千年里不断融汇、相互影响、相互塑造。本书描绘了一场人类探索数学、算法与逻辑思维，并最...

走进奇妙的数学世界 不可思议的魔法机器 比一比，想一想 点、点、点…… 数字圈圈 数一数水 2 【数理化】

几何定理机器证明的几何不变量方法 【数理化】

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...

《工厂基础化学》《工厂应用化学》习题解答 【数理化】

机器学习方法在磷酸铝分子筛定向合成中的应用 【数理化】

本书采用基于统计的机器学习理论和方法对磷酸铝分子筛进行了大量的数据挖掘工作，主要介绍了一些经典的机器学习方法，并在磷酸铝合成数据库上进行了一系列的应用研究，主要包括以下内容：①估计缺失的合成参数，完善...

第五届全国模式识别及机器智能学术会议 论文集 下 用于三维特例跟踪的结构匹配法 中国科学院沈阳自动化研究所 【数理化】

工厂应用化学 【数理化】

工厂基础物理 【数理化】