近世几何

作品数：4被引量：5H指数：1
导出分析报告
相关领域：理学文化科学更多>>
相关作者：郭要红邹宇徐建平李涛肖随贵更多>>
相关机构：广州大学安徽师范大学赣南师范大学更多>>
相关期刊：《中学数学教学》《计算机应用》更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
质点法机器证明视角下的近世几何研究被引量：1
《计算机应用》2012年第11期3057-3061,共5页李涛 邹宇 
优化并发展了质点法机器证明算法的核心程序,用Mathematica创建了新的几何定理证明器。拓展了机器证明的研究范畴,首次实现了近世几何的机器证明,且可读性令人满意。在该证明器的帮助下,发现了一些新的近世几何性质,深化了近世几何的研...
关键词：质点法 机器证明 Mathematica证明器 近世几何 
界心、Nagel点及其他被引量：3
《中学数学教学》2001年第5期39-40,共2页郭要红 
关键词：中点三角形 NAGEL 中学数学 近世几何 
从近世几何看欧氏几何被引量：1
《赣南师范学院学报》1996年第6期13-15,共3页徐建平 肖随贵 章园英 
1 仿射变换在仿射交换下,图形的形状、大小等发生了变化,但仍然有很多性质不会改变,这些性质叫仿射性质.例如,若我们垂直地面插两根平行的竹杆、发现它们的影子仍然平行.即保持图形的平行性不变.还会发现这两平行竹杆的长度之比值和它...
关键词：近世几何 欧氏几何 仿射变换 射影变换 
高等几何及其发展方向
《吉安师专学报》1991年第6期 15-18,共4页曾青锐 
关键词：高等几何 射影几何 近世几何 几何 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部