当前位置:首页 > 名称
大约有3,000项符合查询结果项。(搜索耗时:0.0135秒)
为您推荐: 画法几何及机械制图习题集 几何 合肥工业大学画法几何及机械制图教研组编 清华大学画法几何及工程画教研组译 画法几何及机械制图习题集 写组 浙江工学院 画法几何及工程制图
-
现代几何学:方法与应用 第1卷 几何曲面、变换群与场
Б. A. 杜布洛文,C. Π. 诺维可夫,A. T. 福明柯著;许明译2006 年出版358 页ISBN:7040189461本书是由数学天元基金和高等教育出版社共同推出的《俄罗斯数学教材选译》中的一本。本书是莫斯科大学数学力学系对几何课程现代化改革的成果,作者之一的诺维柯夫是1970年菲尔兹奖和2005年沃尔夫奖得主。全书...
-
-
几何学 空间和形式的语言
(美)约翰·塔巴克著;张红梅,刘献军译2008 年出版220 页ISBN:7100055571本书是对数学和自然科学史中关于几何的片段的回顾,通过时间的脉络,将几何学上的大师及其成就,以及几何命题和公式的得出背景等,一一展示给读者。...
-
高维信息几何与几何不变量
曹文明,刘宁,梅艳萍著2018 年出版160 页ISBN:9787030556639《高维信息几何与几何不变量》针对具有人工智能的内容搜索产生的信息几何与几何不变量问题,探索一种新的内容搜索方法,从信息学角度出发,给出几何不变量,并研究其几何不变量的性质,为实现具有内容搜索问题提供有...
-
-
-
-
几何定理机器证明的几何不变量方法
张景中,高小山,周咸青著2015 年出版318 页ISBN:9787030440662用计算机自动证明某一类型几何定理,甚至某一种几何全部定理的原理和方法。从理论角度看,几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤,才能编制程序并在计算机上实现。可用机器证明的几何定...
-
-