机构

• 数学与系统科学研究院 [7]
• 自动化研究所 [4]

采集方式

• OAI收割 [11]

内容类型

• 期刊论文 [11]

发表日期

• 2008 [3]
• 2007 [1]
• 2006 [1]
• 2005 [1]
• 2004 [1]
• 2003 [4]
• 更多

学科主题

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 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   |  收藏  |  浏览/下载：18/0  |  提交时间：2018/07/30 conformal geometric algebra (CGA)  null bracket algebra (NBA)  geometric invariant  mechanical proving  normal forms  68T15  03B35   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 收藏  |  浏览/下载：30/0  |  提交时间：2015/11/08 bracket algebra  invariant  camera calibration   A symbolic approach to, polyhedral scene analysis by parametric calotte propagation 期刊论文  OAI收割 ROBOTICA, 2008, 卷号: 26, 页码: 483-501 作者:  Li, Hongbo   |  收藏  |  浏览/下载：19/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 期刊论文  OAI收割 SCIENCE IN CHINA SERIES A-MATHEMATICS, 2007, 卷号: 50, 期号: 7, 页码: 941-950 作者:  Zhang, Ning;  Li, Hong-bo   |  收藏  |  浏览/下载：13/0  |  提交时间：2018/07/30 mechanical theorem proving  geometric invariance  bracket algebra  affine geometry  affine bracket algebra   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 收藏  |  浏览/下载：22/0  |  提交时间：2015/11/08 bracket algebra  camera calibration  direct reconstruction of plane structure  error analysis   On Miquel's five-circle theorem 期刊论文  OAI收割 COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS, 2005, 卷号: 3519, 页码: 217-228 作者:  Li, HB;  Xu, RH;  Zhang, N   |  收藏  |  浏览/下载：18/0  |  提交时间：2018/07/30 Miquel's theorem  mathematics mechanization  conformal geometric algebra  null bracket algebra  "breefs"   Algebraic representation, elimination and expansion in automated geometric theorem proving 期刊论文  OAI收割 AUTOMATED DEDUCTION IN GEOMETRY, 2004, 卷号: 2930, 页码: 106-123 作者:  Li, HB   |  收藏  |  浏览/下载：16/0  |  提交时间：2018/07/30 Cayley algebra  bracket algebra  automated theorem proving  projective geometry  affine geometry  conics   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   |  收藏  |  浏览/下载：13/0  |  提交时间：2018/07/30 Cayley algebra  bracket algebra  automated theorem proving  projective incidence geometry   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   |  收藏  |  浏览/下载：12/0  |  提交时间：2018/07/30 bracket algebra  Cayley algebra  automated theorem proving  projective conic geometry   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 收藏  |  浏览/下载：15/0  |  提交时间：2015/11/08 Cayley algebra  bracket algebra  automated theorem proving  projective incidence geometry