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

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

全国硕士研究生入学统一考试农学门类联考辅导丛书 数学复习指南暨习题解析 2013 第6版 【数理化】

本书依据教育部考试中心农学门类研究生入学统一考试数学考试大纲编写而成。分高等数学、线性代数、概率论与数理统计三部分。全面收录本学科重点要点，提供高质量习题及其解析，并附有综合练习试题。...

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

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

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

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

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

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

实验数据的统计分析和计算机处理 【数理化】

全国各类成人高考复习考试辅导教材 专科起点升本科 1 高等数学 2009最新版 【数理化】

本书融复习内容与考试内容于一体，不仅有助于考生复习并掌握扎实的基础知识，而且有利于考生把握考试的重点、难点，提高应试能力。其内容的编排与“大纲”的知识系统完全一致，不仅充分体现了“大纲”的知识能力要...

电磁学及其计算机辅助教学 CAI 【数理化】

离散数学及其在计算机中的应用 【数理化】