云南高校图书馆联盟文献共享服务平台- 张立先

张立先: 作品数：1被引量：0H指数：0; 导出分析报告; 供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室更多>>; 发文主题：RIEMANN机器证明微分几何更多>>; 发文领域：理学更多>>; 发文期刊：《中国科学：数学》更多>>; 所获基金：博士科研启动基金国家自然科学基金更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

一类Riemann张量指标表达式的标准型完全分类及其在微分几何中的应用: 《中国科学：数学》2013年第4期399-408,共10页刘姜李洪波张立先; 国家自然科学基金(批准号:10871195);上海高校选拔培养优秀青年教师基金(批准号:slgl0011);上海理工大学博士启动基金(批准号:1D00303001)资助项目; 本文研究了n维微分几何中Riemann张量指标表达式的标准型完全分类问题,通过引入指标结构图的概念,证明了规范类型单项式都是标准型,并且构成次数不大于5的Sakai类型单项式的正交基底,由此得到Sakai类型单项式的标准型完全分类,这是次数...; 关键词：n维符号计算求和约定 Riemann张量标准型机器证明