The SCEAS System
| |||||||

## Search the dblp DataBase
Hongbo Li:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - Hongbo Li
[Citation Graph (0, 0)][DBLP]*n*D Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation. Automated Deduction in Geometry, 2004, pp:169-197 [Conf] - Hongbo Li
**Some Applications of Clifford Algebra to Geometries.**[Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 1998, pp:156-179 [Conf] - 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] - Hongbo Li
**The Lie Model for Euclidean Geometry.**[Citation Graph (0, 0)][DBLP] AFPAC, 2000, pp:115-133 [Conf] - Weikun Sun, Hongbo Li
**On the Mixed Cayley-Sylvester Resultant Matrix.**[Citation Graph (0, 0)][DBLP] AISC, 2006, pp:146-159 [Conf] - 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] - Hongbo Li, Quan Wang, Lina Zhao, Ying Chen, Lei Huang
[Citation Graph (0, 0)][DBLP]*n*D Object Representation and Detection from Single 2D Line Drawing. IWMM/GIAE, 2004, pp:363-382 [Conf] - Hongbo Li, Ronghua Xu, Ning Zhang
**On Miquel's Five-Circle Theorem.**[Citation Graph (0, 0)][DBLP] IWMM/GIAE, 2004, pp:217-228 [Conf] - 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] - 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] - Hongbo Li
**Symbolic computation in the homogeneous geometric model with clifford algebra.**[Citation Graph (0, 0)][DBLP] ISSAC, 2004, pp:221-228 [Conf] - Hongbo Li
**Trifocal Tensors with Grassmann-Cayley Algebra.**[Citation Graph (0, 0)][DBLP] RobVis, 2001, pp:237-244 [Conf] - 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] - 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] - 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] - 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] - 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] **Complex brackets, balanced complex differences, and applications in symbolic geometric computing.**[Citation Graph (, )][DBLP]**Use Closure of Relevant Sets of Attributes to Efficiently Find Candidate Keys.**[Citation Graph (, )][DBLP]**Optimization and stabilization of networked control systems: An Estimation of Distribution Algorithm approach.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |