您的位置： 专家智库 > >

张立先

作品数：1 被引量：0H指数：0
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室更多>>
发文基金：博士科研启动基金国家自然科学基金更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇微分
  • 1篇微分几何
  • 1篇机器证明
  • 1篇RIEMAN...

机构

  • 1篇上海理工大学
  • 1篇中国科学院数...

作者

  • 1篇刘姜
  • 1篇李洪波
  • 1篇张立先

传媒

  • 1篇中国科学：数...

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一类Riemann张量指标表达式的标准型完全分类及其在微分几何中的应用
2013年
本文研究了n维微分几何中Riemann张量指标表达式的标准型完全分类问题,通过引入指标结构图的概念,证明了规范类型单项式都是标准型,并且构成次数不大于5的Sakai类型单项式的正交基底,由此得到Sakai类型单项式的标准型完全分类,这是次数大于3时标准型完全分类问题的第一个结果.同时给出了相应标准化算法,通过比较说明了该算法比现有算法更加简便,最后应用于自动推导和证明微分几何中关于Riemann张量的一些公式.
刘姜李洪波张立先
关键词：机器证明
全选 清除 导出
共1页<1>
聚类工具0