几何定理机器证明的几何不变量方法

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...

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

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

计算几何中的几何偏微分方程方法 英文版

本书的主要内容包括几何偏微分方程的构造方法、各种微分几何算子的离散化方法及其离散格式的收敛性、几何偏微分方程数值求解的有限差分法、有限元法以及水平集方法,还包括几何偏微分方程在曲面平滑、曲面...

黎曼几何和几何分析 第6版

本书是一部值得一读的研究生教材，内容主要涉及黎曼几何基本定理的研究，如霍奇定理、Rauch比较定理、Lyusternik和Fet定理调和映射的存在性等，书中还有当代数学研究领域中的最热门论题，有些内容则是首次出现在教...

清华大学优秀博士学位论文丛书 石墨相氮化碳的结构调控及增强光催化性能

基于半导体的光催化剂技术是一种最为理想利用太阳能缓解能源危机和环境问题的技术。光催化材料是光催化技术的核心。聚合物石墨相氮化碳半导体材料由于不含金属、化学稳定性好、环境兼容、二维层状结构等优...

几何三部曲 第2卷 几何的代数方法 英文版

复投影平面中代数曲线的研究是几何应用如密码技术研究的重要内容，也是线性几何研究向代数几何研究的自然过渡。本书论述的就是几何空间中的各种不同代数方法，给出了解析几何、仿射几何、欧几里得几何和投影几...

全国大学生力学竞赛赛题详解及点评 2011版

本书汇编了历届全国大学生力学竞赛的试题并给出了试题参考答案和详细解答。本书作者从参与力学竞赛的组织、出题和改卷工作的角度，特别是从直接参与推动力学竞赛形式改变的独特视角，对力学竞赛试题的难易程度...

有限几何

丢番图几何基础

高等几何简明教程