Mechanical Theorem Proving for Tensor with Indexes in Differential Geometry
YE Zheng;CAO Yuanhao;XIE Zheng;LI Hongbo
Journal of System Science and Mathematical Science Chinese Series ›› 2009, Vol. 29 ›› Issue (9) : 1238-1248.
Mechanical Theorem Proving for Tensor with Indexes in Differential Geometry
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |