理论力学典型题解析与实战模拟 【数理化】

理论力学 工业与民用建筑专业 【数理化】

泛函分析与最优理论 【数理化】

相似理论与静力学模型试验 【数理化】

一阶逻辑与一阶理论 【数理化】

连续介质力学的理论与习题 【数理化】

电磁介质谐振器理论与应用 【数理化】

加权残值法的理论与应用 【数理化】

运筹学的理论与实践 【数理化】

不等式的分拆降维幂方法与可读证明 【数理化】

本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...