CSpace
(本次检索基于用户作品认领结果)

浏览/检索结果: 共8条,第1-8条 帮助

限定条件        
已选(0)清除 条数/页:   排序方式:
SYMBOLIC VERSOR COMPRESSION ALGORITHM 期刊论文
ACTA MATHEMATICA SCIENTIA, 2009, 卷号: 29, 期号: 4, 页码: 991-1004
作者:  Li Hongbo
收藏  |  浏览/下载:124/0  |  提交时间:2018/07/30
Clifford algebra  orthogonal transformation  symbolic computation  Grassmann-Cayley algebra  versor compression  
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
收藏  |  浏览/下载:124/0  |  提交时间:2018/07/30
conformal geometric algebra (CGA)  null bracket algebra (NBA)  geometric invariant  mechanical proving  normal forms  68T15  03B35  
A symbolic approach to, polyhedral scene analysis by parametric calotte propagation 期刊论文
ROBOTICA, 2008, 卷号: 26, 页码: 483-501
作者:  Li, Hongbo;  Zhao, Lina;  Chen, Ying
收藏  |  浏览/下载:127/0  |  提交时间:2018/07/30
structure geometry  polyhedral scene analysis  Grassmann-Cayley algebra  bracket algebra  constraint satisfaction  
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
收藏  |  浏览/下载:114/0  |  提交时间:2018/07/30
mechanical theorem proving  geometric invariance  bracket algebra  affine geometry  affine bracket algebra  
Weyl transforms associated with the Hankel transform in Clifford analysis 期刊论文
MATHEMATICAL METHODS IN THE APPLIED SCIENCES, 2006, 卷号: 29, 期号: 7, 页码: 839-851
作者:  Zhao, JM;  Li, HB
收藏  |  浏览/下载:118/0  |  提交时间:2018/07/30
Clifford algebra  Hanket transform  Hankel-Weyl transform  boundedness  compactness  
nD polyhedral scene reconstruction from single 2D line drawing by local propagation 期刊论文
AUTOMATED DEDUCTION IN GEOMETRY, 2006, 卷号: 3763, 页码: 169-197
作者:  Li, HB
收藏  |  浏览/下载:107/0  |  提交时间:2018/07/30
polyhedra  structural reconstruction  geometric reconstruction  Grassmann-Cayley algebra  local propagation  
Algebraic representation, elimination and expansion in automated geometric theorem proving 期刊论文
AUTOMATED DEDUCTION IN GEOMETRY, 2004, 卷号: 2930, 页码: 106-123
作者:  Li, HB
收藏  |  浏览/下载:104/0  |  提交时间:2018/07/30
Cayley algebra  bracket algebra  automated theorem proving  projective geometry  affine geometry  conics  
The Lie model for Euclidean geometry 期刊论文
ALGEBRAIC FRAMES FOR THE PERCEPTION-ACTION CYCLE, PROCEEDINGS, 2000, 卷号: 1888, 页码: 115-133
作者:  Li, HB
收藏  |  浏览/下载:116/0  |  提交时间:2018/07/30
Euclidean geometry  Lie sphere geometry  Clifford algebra