现代外国政治学术著作选译 社会主义基本生产关系和基本经济规律 方法论和理论问题

分角线相等的三角形 初等几何机器证明问题

几何三部曲 第3卷 几何的微分方法 英文

本书呈现了平面和三维空间中曲线的经典理论，以及三维空间中曲面的经典理论，特别关注于奠定现代几何学的理论和方法的历史发展过程。对平面曲线及其性质和代数拓扑进行了全面而细致的论述，为读者深入理解几何学...

共形几何的若干问题

本书主要探讨共形几何的若干问题。全稿分为三部分，第一部分为预备知识，包括黎曼几何，索伯列夫空间；第二部分为共形数量曲率的分析方法，包括共形度量的数量曲率，Nirenberg问题；第三部分为Nirenberg问题的拓扑方法，包...

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

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

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

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

并联机构自由度计算与奇异分析的几何代数方法

常微分方程续论 常微分方程的几何方法

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

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

高效能方法 整理、分析和解决问题

本书第1章将叙述贯穿全书的解决问题的最重要思想：什么是问题，为什么要整理问题，为什么要进行分析等。第2章对具体的整理分析问题的过程进行说明。在第3章和第4章将分别就“整理、分析问题方面的有效措施”和“...