中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共2条，第1-2条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 卷号: 51, 期号: 12, 页码: 2137-2148
作者:  Huang Lei;  Li HongBo
收藏  |  浏览/下载：104/0  |  提交时间：2018/07/30
conformal geometric algebra (CGA)  null bracket algebra (NBA)  geometric invariant  mechanical proving  normal forms  68T15  03B35  
Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2007, 卷号: 50, 期号: 7, 页码: 941-950
作者:  Zhang, Ning;  Li, Hong-bo
收藏  |  浏览/下载：92/0  |  提交时间：2018/07/30
mechanical theorem proving  geometric invariance  bracket algebra  affine geometry  affine bracket algebra