Hongbo Li

2008
22	EE	Hongbo Li, Li Zhou: Use Closure of Relevant Sets of Attributes to Efficiently Find Candidate Keys. CSSE (1) 2008: 237-242
21	EE	Hongbo Li, Lei Huang: Complex brackets, balanced complex differences, and applications in symbolic geometric computing. ISSAC 2008: 181-188
20	EE	Hongbo Li, Lina Zhao, Ying Chen: A symbolic approach to polyhedral scene analysis by parametric calotte propagation. Robotica 26(4): 483-501 (2008)
2007
19	EE	Hongbo Li: A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. ISSAC 2007: 261-268
2006
18	EE	Weikun Sun, Hongbo Li: On the Mixed Cayley-Sylvester Resultant Matrix. AISC 2006: 146-159
2005
17		Hongbo Li, Peter J. Olver, Gerald Sommer: Computer Algebra and Geometric Algebra with Applications, 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004, and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers Springer 2005
16	EE	Hongbo Li, Zengqi Sun, Fengge Wu, Fuchun Sun: Optimal Controller Design for a class of Networked Control Systems. HIS 2005: 425-430
2004
15	EE	Hongbo Li: nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation. Automated Deduction in Geometry 2004: 169-197
14	EE	Hongbo Li: Symbolic computation in the homogeneous geometric model with clifford algebra. ISSAC 2004: 221-228
13	EE	Hongbo Li, Lina Cao, Nanbin Cao, Weikun Sun: Intrinsic Differential Geometry with Geometric Calculus. IWMM/GIAE 2004: 207-216
12	EE	Hongbo Li, Ronghua Xu, Ning Zhang: On Miquel's Five-Circle Theorem. IWMM/GIAE 2004: 217-228
11	EE	Hongbo Li, Quan Wang, Lina Zhao, Ying Chen, Lei Huang: nD Object Representation and Detection from Single 2D Line Drawing. IWMM/GIAE 2004: 363-382
10	EE	Hongbo Li, Lina Zhao, Ying Chen: Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis. IWMM/GIAE 2004: 383-402
2003
9	EE	Hongbo Li, Yihong Wu: Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry. J. Symb. Comput. 36(5): 717-762 (2003)
8	EE	Hongbo Li, Yihong Wu: Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry. J. Symb. Comput. 36(5): 763-809 (2003)
2002
7	EE	Hongbo Li: Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. Automated Deduction in Geometry 2002: 106-123
2001
6	EE	Hongbo Li: Trifocal Tensors with Grassmann-Cayley Algebra. RobVis 2001: 237-244
2000
5		Hongbo Li: The Lie Model for Euclidean Geometry. AFPAC 2000: 115-133
4	EE	Hongbo Li, Yihong Wu: Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method. Automated Deduction in Geometry 2000: 199-227
3		Hongbo Li: Vectorial Equations Solving for Mechanical Geometry Theorem Proving. J. Autom. Reasoning 25(2): 83-121 (2000)
1998
2	EE	Hongbo Li: Some Applications of Clifford Algebra to Geometries. Automated Deduction in Geometry 1998: 156-179
1		Hongbo Li, Cheng Minteh: Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry. J. Autom. Reasoning 21(1): 1-21 (1998)

Coauthor Index

1	Lina Cao	[13]
2	Nanbin Cao	[13]
3	Ying Chen	[10] [11] [20]
4	Lei Huang	[11] [21]
5	Cheng Minteh	[1]
6	Peter J. Olver	[17]
7	Gerald Sommer	[17]
8	Fuchun Sun	[16]
9	Weikun Sun	[13] [18]
10	Zengqi Sun	[16]
11	Quan Wang	[11]
12	Fengge Wu	[16]
13	Yihong Wu	[4] [8] [9]
14	Ronghua Xu	[12]
15	Ning Zhang	[12]
16	Lina Zhao	[10] [11] [20]
17	Li Zhou	[22]

Colors in the list of coauthors