速成解析几何与微分积分术 自修手册 【数理化】

非线性演化方程分离变量的直接构造法及其应用 【数理化】

本书是一本直接代数法构造非线性演化方程分离变量解的专著。书中应用近些年新发展起来构造非线性演化方程行波解的符号计算方法(如齐次平衡法、Riccati方程映射法、投影Riccati方程映射法及它们的扩展方法)...

中学数学系列练习 5 三角与高中几何 【数理化】

高等学校教学用书 微分几何教程 【数理化】

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

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

黎曼几何 第2版 【数理化】

本书不仅包含了黎曼几何中的基础知识，而且介绍了许多更深入的方向及其背景，同时介绍了很多最新的研究进展，便于读者在该领域开展更深入的研究。书中配有习题，便于读者加深对知识的理解。...

Neubrg-Pedoe定理 距离几何分析导引 【数理化】

数学学习讲座 全15卷 初等几何学 【数理化】

联立一次方程式之几何 【数理化】

共4章。介绍一次方程式的图表、作图的条件、作图法以及作图的简略法。

解析几何学 第2卷 【数理化】