张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662
用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
徐方瞿，徐雯编著2017 年出版314 页ISBN：9787544474290
本书基于作者在几何学习软件等方面的研制开发，系统探析信息技术在课堂教学中的常态化应用。全书约分为四章：首章阐述思维过程教学法；第二章以三角形为例，概述基本图形分析法；第三章以“几何王”软件解构思维过程...
Riemannian geometry and geometric analysis Sixth Edition = 黎曼几何和几何分析 第6版
Jürgen Jost2015 年出版614 页ISBN：7510084447
徐国良，张琴著2013 年出版374 页ISBN：9787030367648
本书的主要内容包括几何偏微分方程的构造方法、各种微分几何算子的离散化方法及其离散格式的收敛性、几何偏微分方程数值求解的有限差分法、有限元法以及水平集方法,还包括几何偏微分方程在曲面平滑、曲面...
（德）约斯特（Jurgen Jost）著2015 年出版611 页ISBN：9787510084447
本书是一部值得一读的研究生教材，内容主要涉及黎曼几何基本定理的研究，如霍奇定理、Rauch比较定理、Lyusternik和Fet定理调和映射的存在性等，书中还有当代数学研究领域中的最热门论题，有些内容则是首次出现在教...
产品几何技术规范（GPS）系列标准应用问答丛书 几何误差检测问答
刘巽尔编著2012 年出版247 页ISBN：9787506666220
本书根据最新和现行国家标准，以问答的形式，简明扼要地论述了关于几何误差检测的基本概念，各种几何误差特征的定义与评定方法，基准与基准体系的建立与体现，形状、方向、位置和轮廓误差及跳动等各种几何误差特征的...
（比）F.博斯克斯著2016 年出版430 页ISBN：7519220753
复投影平面中代数曲线的研究是几何应用如密码技术研究的重要内容，也是线性几何研究向代数几何研究的自然过渡。本书论述的就是几何空间中的各种不同代数方法，给出了解析几何、仿射几何、欧几里得几何和投影几...
