线性代数与解析几何习题集解析

本书较为系统地汇总了线性代数与解析几何的基本理论与方法。

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

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

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

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

用图形计算器学微积分 图形计算机器与大学数学

本书以图形计算器HP39gs为例介绍如何利用图形计算器学习一元微积分。

差分进化算法理论与应用

在工程技术和科学研究等诸多领域，大量的优化问题很难精确求解，许多实际问题存在非线性、强约束、多目标、不确定等性能，对优化理论和优化技术带来新的挑战。研究适合于大规模复杂问题的智能算法成为解决这类问...

普通高等教育土木与交通类“十三五”规划教材 数值算法及软件应用

本书理论体系完整、原理方法简单易懂。首先，从求解问题的灵活性和工程应用的广泛性出发，重点介绍了有限元方法（FEM）的基本原理及一般工程问题的有限元求解思路，讨论了有限元模型的建立和计算结果的解释与处理方...

代数与解析几何

离散数学习题与解析

高等数学解析与评注

复变函数与积分变换例题与习题解析