 | 2012 |
| 35 |  | Chao Wang,
Yu Wu,
Tingting Zhu,
Hongbo Li,
Mingliang Xu:
Tunneling Blasting Simulation for Digital Mine.
T. Edutainment 7: 121-128 (2012) |
| 2011 |
| 34 |  | Hongbo Li,
Ruiyong Sun,
Shoubin Yao,
Ge Li:
Approximate rational solutions torational ODEs defined on discrete differentiable curves.
ISSAC 2011: 217-224 |
| 33 |  | Hongbo Li,
Yuanhao Cao:
On Geometric Theorem Proving with Null Geometric Algebra.
Guide to Geometric Algebra in Practice 2011: 195-215 |
| 32 |  | Hongbo Li,
Lixian Zhang:
Line Geometry in Terms of the Null Geometric Algebra over ℝ3, 3, and Application to the Inverse Singularity Analysis of Generalized Stewart Platforms.
Guide to Geometric Algebra in Practice 2011: 253-272 |
| 31 |  | Jingyuan Wang,
Hongbo Li,
Zhongwu Zhai,
Xiang Chen,
Shiqiang Yang:
An Improved TCP Friendly Rate Control Algorithm for Wireless Networks.
IEICE Transactions 94-A(11): 2295-2305 (2011) |
| 30 |  | Hongbo Li,
Zengqi Sun,
Haibo Min,
Jianqiu Deng:
Fuzzy dynamic characteristic modeling and adaptive control of nonlinear systems and its application to hypersonic vehicles.
SCIENCE CHINA Information Sciences 54(3): 460-468 (2011) |
| 2010 |
| 29 |  | Yinbin Liu,
Hongbo Li,
Stella Wen Tian:
Modeling Government Credit Information Systems Diffusion in China: A System Dynamics Approach.
PACIS 2010: 173 |
| 28 |  | Hongbo Li:
Parameterization of 3D Conformal Transformations in Conformal Geometric Algebra.
Geometric Algebra Computing 2010: 71-90 |
| 27 |  | Bisheng Tan,
Rufang Peng,
Hongbo Li,
Bo Jin,
Shijin Chu,
Xinping Long:
Theoretical investigation of an energetic fullerene derivative.
Journal of Computational Chemistry 31(12): 2233-2237 (2010) |
| 2009 |
| 26 |  | Li Han,
Xiao-Shan Gao,
Hongbo Li,
Lixian Zhang,
Jie Liu:
Arbitrary shape reconstruction from NC sectional data and applications in space cutter compensation and interference detection.
CAD/Graphics 2009: 435-441 |
| 2008 |
| 25 |  | Hongbo Li,
Li Zhou:
Use Closure of Relevant Sets of Attributes to Efficiently Find Candidate Keys.
CSSE (1) 2008: 237-242 |
| 24 |  | Hongbo Li,
Lei Huang:
Complex brackets, balanced complex differences, and applications in symbolic geometric computing.
ISSAC 2008: 181-188 |
| 23 |  | Deng-Shan Wang,
Zhenya Yan,
Hongbo Li:
Some special types of solutions of a class of the (N+1)-dimensional nonlinear wave equations.
Computers & Mathematics with Applications 56(6): 1569-1579 (2008) |
| 22 |  | Hongbo Li,
Lina Zhao,
Ying Chen:
A symbolic approach to polyhedral scene analysis by parametric calotte propagation.
Robotica 26(4): 483-501 (2008) |
| 2007 |
| 21 |  | Hongbo Li:
A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization.
ISSAC 2007: 261-268 |
| 20 |  | Deng-Shan Wang,
Hongbo Li:
Elliptic equation's new solutions and their applications to two nonlinear partial differential equations.
Applied Mathematics and Computation 188(1): 762-771 (2007) |
| 2006 |
| 19 |  | Weikun Sun,
Hongbo Li:
On the Mixed Cayley-Sylvester Resultant Matrix.
AISC 2006: 146-159 |
| 18 |  | 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 |  | Hongbo Li,
Zengqi Sun,
Fengge Wu,
Fuchun Sun:
Optimal Controller Design for a class of Networked Control Systems.
HIS 2005: 425-430 |
| 2004 |
| 15 |  | Hongbo Li:
nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation.
Automated Deduction in Geometry 2004: 169-197 |
| 14 |  | Hongbo Li:
Symbolic computation in the homogeneous geometric model with clifford algebra.
ISSAC 2004: 221-228 |
| 13 |  | Hongbo Li,
Lina Cao,
Nanbin Cao,
Weikun Sun:
Intrinsic Differential Geometry with Geometric Calculus.
IWMM/GIAE 2004: 207-216 |
| 12 |  | Hongbo Li,
Ronghua Xu,
Ning Zhang:
On Miquel's Five-Circle Theorem.
IWMM/GIAE 2004: 217-228 |
| 11 |  | 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 |  | Hongbo Li,
Lina Zhao,
Ying Chen:
Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis.
IWMM/GIAE 2004: 383-402 |
| 2003 |
| 9 |  | 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 |  | 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 |  | Hongbo Li:
Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving.
Automated Deduction in Geometry 2002: 106-123 |
| 2001 |
| 6 |  | 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 |  | 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 |  | 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) |