Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 2008 | |
---|---|---|

23 | EE | Hongbo Li, Li Zhou: Use Closure of Relevant Sets of Attributes to Efficiently Find Candidate Keys. CSSE (1) 2008: 237-242 |

22 | EE | Hongbo Li, Lei Huang: Complex brackets, balanced complex differences, and applications in symbolic geometric computing. ISSAC 2008: 181-188 |

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

20 | EE | Hongbo Li: A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. ISSAC 2007: 261-268 |

2006 | ||

19 | EE | Weikun Sun, Hongbo Li: On the Mixed Cayley-Sylvester Resultant Matrix. AISC 2006: 146-159 |

18 | EE | Xiaojin Tang, Guangshen Luo, Hongbo Li, Jiading Wang: A dynamic interaction mass transfer model for simulating the mass transfer process in extraction columns. Computers & Chemical Engineering 30(6-7): 978-988 (2006) |

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

1 | Lina Cao | [13] |

2 | Nanbin Cao | [13] |

3 | Ying Chen | [10] [11] [21] |

4 | Lei Huang | [11] [22] |

5 | Guangshen Luo | [18] |

6 | Cheng Minteh | [1] |

7 | Peter J. Olver | [17] |

8 | Gerald Sommer | [17] |

9 | Fuchun Sun | [16] |

10 | Weikun Sun | [13] [19] |

11 | Zengqi Sun | [16] |

12 | Xiaojin Tang | [18] |

13 | Jiading Wang | [18] |

14 | Quan Wang | [11] |

15 | Fengge Wu | [16] |

16 | Yihong Wu | [4] [8] [9] |

17 | Ronghua Xu | [12] |

18 | Ning Zhang | [12] |

19 | Lina Zhao | [10] [11] [21] |

20 | Li Zhou | [23] |