搜索结果: 1-3 共查到“代数学 Part II-a”相关记录3条 . 查询时间(0.015 秒)
Several results point to deep relations between noncommutative geometry and class eld theory ([3],
[10], [20], [22]). In [3] a quantum statistical mechanical system (BC) is exhibited, with partition...
Fixed points subgroups $G^{\sigma,\sigma'}$ by two involutive automorphisms $\sigma$, $\sigma'$ of exceptional compact Lie group $G$, Part II, $G = E_8$
Exceptional Lie group Symmetric space
2011/2/21
For the simply connected compact exceptional Lie group E8, we determine the structure of subgroup (E8).
Automated Reasoning in Di®erential Geometry and Mechanics Using the Characteristic Set Method 1 Part II. Mechanical Theorem Proving
Mechanical theorem proving Wu's method Ritt{Wu's decomposition algorithm statement of equation type generally true universally true space curve theory elementary mechanics
2013/9/9
We clarify the formulation problem of mechanical theorem proving in di®erential geometry and mechanics and propose two formulations. We present complete methods of mechanical theorem proving for ...