中国科学院数学与系统科学研究院期刊网
基于指标形式张量的微分几何定理机器证明
叶征;曹源昊;谢正;李洪波
Mechanical Theorem Proving for Tensor with Indexes in Differential Geometry
YE Zheng;CAO Yuanhao;XIE Zheng;LI Hongbo
系统科学与数学 . 2009, (9): 1238 -1248 .  DOI: 10.12341/jssms08453