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

昆虫的图案

这是一套以数学的基础概念为中心，以故事形式展现给小读者的绘本。我们能够在数学、阅读、科学、音乐、艺术、舞蹈和诗歌中发现样式这个概念——样式遍及全世界，就在我们的身边。我们也可以在教育工作者特鲁迪...

几何 1 微分几何的基本概念

本书由浅入深介绍了微分几何的基本概念和理论结果，全面而详实，对从事该领域研究的入门研究生和科研人员都有很好的参考价值。

鱼的图案

这是一套以数学的基础概念为中心，以故事形式展现给小读者的绘本。这本书中的智慧绝对比我们能够看到的还要多。它们生活在一个充满图案、不同样式的世界中。书中的图形样式从简单的AB式重复，到更为复杂的样式...

透明的几何 互联网＋平面几何的新实践

本书基于作者在几何学习软件等方面的研制开发，系统探析信息技术在课堂教学中的常态化应用。全书约分为四章：首章阐述思维过程教学法；第二章以三角形为例，概述基本图形分析法；第三章以“几何王”软件解构思维过程...

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

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

数的几何讲义

几何的有名定理

折纸的几何

黎曼几何的积分公式