大约有5,000项符合查询结果项。（搜索耗时：0.0253秒）
为您推荐： 北京大学数学系几何与代数教研室 北京大学数学力学系几何与代数教研室 江苏师范学院数学系几何教研组 西南师范大学数学系代数与几何教研室著 辽宁大学数学系代数几何教研室代数组 华中师范学院数学系几何教研室
-
几何定理机器证明的基本原理 初等几何部分
吴文俊著2010 年出版234 页ISBN：97870302837711984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
-
世界著名平面几何经典著作钩沉 几何作图专题卷 下
刘培杰主编2011 年出版705 页ISBN：9787560331416本书内容包括：希尔伯特平面几何作图问题、克莱因论平面几何作图问题、亚历山大洛夫平面几何作图问题平面结合作图问题散论等。
-
-
几何瑰宝 平面几何500名题暨1000条定理 上
沈文选，杨清桃编著2010 年出版541 页ISBN：7560330126本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...
-
几何瑰宝 平面几何500名题暨1000条定理 下
沈文选，杨清桃编著2010 年出版597 页ISBN：7560330126本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...
-
几何讲义 第二学期 线性代数和微分几何
（苏）波斯尼科夫（Постнков，М.М.）著；陈维桓，石生明译1992 年出版286 页ISBN：7040027542书名原文:Лекдиипогеометрии(СеместрⅡ):英文题名:Lecturesingeometry
-
世界著名解析几何经典著作钩沉 平面解析几何卷
（俄）杰洛涅编著；刘培杰数学工作室译2014 年出版270 页ISBN：9787560344140本书共分为三编，分别为：第一编，平面上的直线；第二编，椭圆，双曲线，抛物线；第三编，二阶曲线的一般理论。本书内容丰富而系统，适合于中学数学教师、师范院校数学专业学生、高中学生以及广大数学爱好者参考使用......
-
几何三部曲 第3卷 几何的微分方法 英文
（比）F.博斯克斯著2016 年出版452 页ISBN：7519220710本书呈现了平面和三维空间中曲线的经典理论，以及三维空间中曲面的经典理论，特别关注于奠定现代几何学的理论和方法的历史发展过程。对平面曲线及其性质和代数拓扑进行了全面而细致的论述，为读者深入理解几何学...
-
高维信息几何与几何不变量
曹文明，刘宁，梅艳萍著2018 年出版160 页ISBN：9787030556639《高维信息几何与几何不变量》针对具有人工智能的内容搜索产生的信息几何与几何不变量问题，探索一种新的内容搜索方法，从信息学角度出发，给出几何不变量，并研究其几何不变量的性质，为实现具有内容搜索问题提供有...
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...