搜索结果: 1-4 共查到“数学 geometric invariants”相关记录4条 . 查询时间(0.078 秒)
The Geometric Invariants of Group Extensions
The Geometric Invariants Group Extensions Group Theory
2012/6/30
In this paper, we compute the {\Sigma}^n(G) and {\Omega}^n(G) invariants when 1 \rightarrow H \rightarrow G \rightarrow K \rightarrow 1 is a short exact sequence of finitely generated groups with K fi...
M-theory, the signature theorem, and geometric invariants
M-theory the signature theorem geometric invariants
2011/3/2
The equations of motion and the Bianchi identity of the C-field in M-theory are encoded in terms of the signature operator.
Automated Generation of Readable Proofs with Geometric Invariants II. Theorem Proving With Full-Angles
Automated reasoning automated geometry theorem proving method based on angle forward chaining backward chaining
2013/9/9
We present a set of rules based on full-angles as the basis of automated geometry theorem proving. We extend the idea of eliminating variables and points to the idea of eliminating lines. We also disc...
Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation
Automated reasoning automated geometry theorem proving area method multiple proof shortest proof
2013/9/9
In this series of papers, we discuss how to use a ˉxed set of high level geometry lemmas or rules related to geometric invariants, such as area, full-angle, etc., to produce short and human-readable p...