当前位置：首页 > 名称
大约有20,000项符合查询结果项。（搜索耗时：0.0113秒）
为您推荐： 北京大学数学力学系几何与代数教研室 北京大学数学系几何与代数教研室 辽宁大学数学系代数几何教研室代数组 北京大学数学力学系几何代数教研室编 华东师范大学数学系代数教研组 几何与代数教研室 小组编
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
-
Riemannian geometry and geometric analysis Sixth Edition = 黎曼几何和几何分析 第6版
Jürgen Jost2015 年出版614 页ISBN：7510084447 -
黎曼几何和几何分析 第6版
（德）约斯特（Jurgen Jost）著2015 年出版611 页ISBN：9787510084447本书是一部值得一读的研究生教材，内容主要涉及黎曼几何基本定理的研究，如霍奇定理、Rauch比较定理、Lyusternik和Fet定理调和映射的存在性等，书中还有当代数学研究领域中的最热门论题，有些内容则是首次出现在教...
-
科技回眸 数学史鉴 数学历史与数学成就
李正平编著；李正平编著2015 年出版167 页ISBN：9787514329896本书主要指数学历史与数学成就。包括古代数学史，记数法与计算工具，算术运算，面积与体积，勾股测望，线性方程组解法，高次方程数值解法，天元术与四元术，垛积招差，不定问题，无穷小分割思想，古代数学的特征与意......
-
-
-
-
-
学科分类