计算机怎样解几何题 谈谈自动推理 【数理化】

计算机在分析测试中的应用 【数理化】

实用化学化工计算机软件基础 【数理化】

本书介绍了化学化工专业软件的实际应用。

一般力学及其计算机模拟 【数理化】

本书适用于工科各专业的教学需要，是一本简明扼要，重点突出，偏重工程应用的教材。

挑战人脑 计算机在化学中的应用 【数理化】

几何定理计算机证明 【数理化】

本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...

计算机在化学中的应用 【数理化】

本书介绍了计算机在化学领域中的应用。

离散数学 计算机数学基础教程 【数理化】

本教材主要介绍离散数学的集合论、组合论、图论、数理逻辑等知识。

计算机在分析化学中的应用 【数理化】

计算机在分析化学中的应用 【数理化】