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) |