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

ABAQUS6.6基础教程与实例详解

本书全面系统地介绍了ABAQUS 6.6的使用。本书分为两部分，第1部分为ABAQUS基础，介绍了ABAQUS 6.6各功能模块的基本知识和一些使用技巧，在每个功能模块的介绍中都包含了一些小例题；第2部分以实例详解的方式说明线...

ANSYS操作命令与参数化编程

本书介绍了ANSYS编程的过程，步骤等。

贝叶斯方法 概率编程与贝叶斯推断

基础物理实验教程 物理测量的数据处理与实验设计

本书是普通高等教育“十五”国家级规划教材。作者力图建立以多选择性、多层次性研究型组合（系列）实验为主的教材框架，以适用于中型研究型组合实验为主的教学模式。该教材的实验内容的选择力求充分利用现有教学...

ANSYS参数化编程命令与实例详解

本书全面系统地介绍了ANSYS参数化编程技术和实际应用。

ANSYS参数化编程与命令手册

本书以工程应用中的结构分析为背景，以介绍ANSYS参数编程为主要目的，全面系统地介绍了ANSYS参数化设计语言和ANSYS软件中的操作命令，并配置了相关实例。...

基础化学教程 无机与分析化学

本书是在《基础化学教程（无机与分析化学）》（2007年，科学出版社）基础上进行的修订再版。本次修订更好地体现了编写的主导思想“重教学对象、重基础知识、重学科关联、重应用领域”，尽量保持第一版教材的风格，直......

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

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

有限元分析与ANSYS APDL编程及高级应用

本书主要介绍了有限元法的编程及其高级应用技术等知识。