中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页： 排序方式：
Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space 期刊论文  OAI收割
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 卷号: 51, 期号: 12, 页码: 2137-2148
作者:  Huang Lei;  Li HongBo
  |  收藏  |  
Detecting and handling unreliable points for camera parameter estimation 期刊论文  OAI收割
INTERNATIONAL JOURNAL OF COMPUTER VISION, 2008, 卷号: 79, 期号: 2, 页码: 209-223
作者:  Wu, Yihong;  Li, Youfu;  Hu, Zhanyi
收藏  |  
A symbolic approach to, polyhedral scene analysis by parametric calotte propagation 期刊论文  OAI收割
ROBOTICA, 2008, 卷号: 26, 页码: 483-501
作者:  Li, Hongbo;  Zhao, Lina;  Chen, Ying
  |  收藏  |  
Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving 期刊论文  OAI收割
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2007, 卷号: 50, 期号: 7, 页码: 941-950
作者:  Zhang, Ning;  Li, Hong-bo
  |  收藏  |  
Camera calibration and direct reconstruction from plane with brackets 期刊论文  OAI收割
JOURNAL OF MATHEMATICAL IMAGING AND VISION, 2006, 卷号: 24, 期号: 3, 页码: 279-293
作者:  Wu, YH;  Hu, ZY
收藏  |  
On Miquel's five-circle theorem 期刊论文  OAI收割
COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS, 2005, 卷号: 3519, 页码: 217-228
作者:  Li, HB;  Xu, RH;  Zhang, N
  |  收藏  |  
Algebraic representation, elimination and expansion in automated geometric theorem proving 期刊论文  OAI收割
AUTOMATED DEDUCTION IN GEOMETRY, 2004, 卷号: 2930, 页码: 106-123
作者:  Li, HB
  |  收藏  |  
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras - I. Incidence geometry 期刊论文  OAI收割
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 717-762
作者:  Li, HB;  Wu, YH
  |  收藏  |  
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras - II. Conic geometry 期刊论文  OAI收割
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 763-809
作者:  Li, HB;  Wu, YH
  |  收藏  |  
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras - I. Incidence geometry 期刊论文  OAI收割
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 717-762
作者:  Li, HB;  Wu, YH
收藏  |