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

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

模糊关联规则的研究与应用 【数理化】

本书应用模糊集来软化属性论域的划分边界，并系统地介绍数量型属性的模糊关联规则及其应用。主要内容包括：数量型属性的模糊关联规则的挖掘算法；集合值和区间值关系数据库上模糊关联规则的挖掘算法；加权模糊关联...

振动性与周期解理论的研究 【数理化】

本书主要内容包括时滞微分方程的振动性、时滞差分方程的振动性、偏泛函微分方程的振动性、偏泛函微分方程系统的振动性和泛函微分方程的周期解。作者长期从事泛函微分方程理论的研究，主要从事泛函微分方程的...

分子动力学模拟的理论与实践 【数理化】

分子动力学模拟是近年来飞速发展的一种分子模拟方法，它以经典力学、量子力学、统计力学为基础，通过计算机数值求解分子体系运动方程的方法，模拟研究分子体系的性质。目前，分子模拟已经成为继实验和理论研究方法...

渗流力学与工程的创新与实践 第十一届全国渗流力学学术大会论文集 【数理化】

本书汇集了第十一届全国渗流力学学术大会论文百余篇，反映了近两年来渗流力学与工程领域理论研究与应用研究的最新成果。主要包括石油、煤层气、天然气、地下水、生物渗流、环境渗流等领域的理论与工程，是渗流...

基于ANSYS平台有限元分析手册 结构的建模与分析 【数理化】

本书以手册规范化方式提供了覆盖有限元结构分析主要领域的各项专题，包括60个原理、91个典型算例、98个建模操作等。

接触力学与摩擦学的原理及其应用 【数理化】

本书将摩擦学问题与经典力学结合起来，既反映了摩擦学领域接触、黏着、毛细力、摩擦、弹流润滑和微动磨损等问题的研究进展，又介绍了摩擦学研究的新成果，包括基本参数的估算、解析复杂问题的数值仿真、纳米摩擦...

工业规模的不对称催化 挑战，解决途径与方案 【数理化】

本书由世界发达国家77位专业人士撰写，是有关不对称催化反应在工业规模级中放大应用的一本专著。全书附有近期成规模应用不对称合成反应的综述和实例。...

单调算子和非线性半群理论与Banach空间中的微分方程 【数理化】

数学多元表征学习的理论与实践 【数理化】

本书站在国际数学教育心理学最新理论研究成果的视角，诠释了数学多元表征学习的基本概念和本质内涵，从双重编码理论、变异学习理论、多元智能理论、具身认知理论、认知负荷理论等视角探寻数学多元表征学习的理...