Search the dblp DataBase

Publications of Author

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