定理机器证明

作品数：55被引量：64H指数：4
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：孙吉贵印鉴李莹朱兴军吴尽昭更多>>
相关机构：吉林大学中国科学院数学与系统科学研究院北京邮电大学华东师范大学更多>>
相关期刊：《系统科学与数学》《计算机技术与发展》《数学教学》《高等数学研究》更多>>
相关基金：国家自然科学基金吉林省青年科研基金中国博士后科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=系统科学与数学x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一类初等微分几何定理机器证明的算法与实现被引量：2
《系统科学与数学》2006年第4期395-401,共7页曹丽娜 李洪波 
国家自然科学基金(10471143);中央民族大学"十五"重点项目(10502C05)资助课题
空间曲面上的曲线论是初等微分几何的重要部分．作者提出了一种以外微分运算和向量计算为主要工具,可以进行有关曲面上曲线局部性质的定理机器证明的算法．该算法结合了曲面上的活动标架,曲面上曲线的测地标架和曲线自身的Frenet标架,在...
关键词：定理机器证明 曲面上的曲线 外微分运算 向量计算 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部