几何定理机器证明的基本原理 初等几何部分 【数理化】

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

非线性偏微分方程分析讲义 第2卷 英文版 【数理化】

中国科学院数学与系统科学研究院晨兴数学中心于2009年5月至2009年12月举办了一个题为“非线性偏微分方程中的分析主题研讨班”。本书收集了其中七篇讲义，包括Chongsheng Cao和Jiahong Wu教授关于不可压缩磁...

偏微分方程简明教程 【数理化】

本书是国家精品资源共享课“偏微分方程”的配套教材，是作者基于多年讲授数学类专业“偏微分方程”课程讲义的基础上修改编写而成的。全书重点介绍了偏微分方程的基本理论和方法，共分七章：第一章介绍偏微分方程...

常微分方程 【数理化】

本书是为了适应新世纪课程改革的需要，参照常微分方程课程教学实践和微分方程与动力系统科研需求，参考国内外许多本经典教材来编写的，力图通过教材形式来形成教学特色。书中介绍了常微分方程的基础知识，包括基本...

偏微分方程讲义 第3版 【数理化】

本书是由数学天元基金和高等教育出版社共同推出的《俄罗斯数学教材选译》中的一本。本书是俄罗斯科学院院士、莫斯科大学教授O.A.奥列尼克在莫斯科大学数学力学系讲课的讲义扩充而成的教材。作者是И.Г.彼...

Banach空间中非线性常微分方程边值问题 【数理化】

本书是关于非线性常微分方程边值问题的一本专著。本书是第二版。全书共分8章，在介绍拓扑度理论、抽象空间常微分方程理论和时标上动力方程微积分基本理论的基础上，分别探讨了非线性二阶常微分方程边值问题、...

世界著名平面几何经典著作钩沉 几何作图专题卷 下 【数理化】

本书内容包括：希尔伯特平面几何作图问题、克莱因论平面几何作图问题、亚历山大洛夫平面几何作图问题平面结合作图问题散论等。

常微分方程定性与稳定性方法 【数理化】

随着教学计划的调整，本科生和研究生都没有足够的时间分3门课程来学习微分方程定性理论、稳定性方法和分支理论，大部分院校只能在40～60学时内学习这些知识。《常微分方程定性稳定性方法》从2001年出版以来，满足...

题解中心 几何学辞典 上 第一门 解法之部 几何学辞典索引 【数理化】

几何瑰宝 平面几何500名题暨1000条定理 上 【数理化】

本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...