您的位置： 专家智库 > >

曹丽娜

作品数：1 被引量：2H指数：1
供职机构：中央民族大学数学与计算机科学学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇定理
  • 1篇定理机器证明
  • 1篇曲面
  • 1篇机器证明

机构

  • 1篇中央民族大学
  • 1篇中国科学院数...

作者

  • 1篇李洪波
  • 1篇曹丽娜

传媒

  • 1篇系统科学与数...

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一类初等微分几何定理机器证明的算法与实现被引量：2
2006年
空间曲面上的曲线论是初等微分几何的重要部分．作者提出了一种以外微分运算和向量计算为主要工具,可以进行有关曲面上曲线局部性质的定理机器证明的算法．该算法结合了曲面上的活动标架,曲面上曲线的测地标架和曲线自身的Frenet标架,在Maple 9下得到实现．对20个例子进行的测试表明,由该算法生成的自动证明简短可读．
曹丽娜李洪波
关键词：定理机器证明
全选 清除 导出
共1页<1>
聚类工具0