Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry. - Hongbo Li 012; Cheng Minteh (J. Autom. Reason., 1998)

Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method. - Hongbo Li 012; Yihong Wu 002 (Automated Deduction in Geometry, 2000)

The Lie Model for Euclidean Geometry. - Hongbo Li 012 (AFPAC, 2000)

Vectorial Equations Solving for Mechanical Geometry Theorem Proving. - Hongbo Li 012 (J. Autom. Reason., 2000)

Trifocal Tensors with Grassmann-Cayley Algebra. - Hongbo Li 012 (RobVis, 2001)

Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. - Hongbo Li 012 (Automated Deduction in Geometry, 2002)

Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry. - Hongbo Li 012; Yihong Wu 002 (J. Symb. Comput., 2003)

Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry. - Hongbo Li 012; Yihong Wu 002 (J. Symb. Comput., 2003)

nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation. - Hongbo Li 012 (Automated Deduction in Geometry, 2004)

Intrinsic Differential Geometry with Geometric Calculus. - Hongbo Li 012; Lina Cao; Nanbin Cao; Weikun Sun (IWMM/GIAE, 2004)

nD Object Representation and Detection from Single 2D Line Drawing. - Hongbo Li 012; Quan Wang; Lina Zhao 002; Ying Chen; Lei Huang (IWMM/GIAE, 2004)

On Miquel's Five-Circle Theorem. - Hongbo Li 012; Ronghua Xu; Ning Zhang (IWMM/GIAE, 2004)

Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis. - Hongbo Li 012; Lina Zhao 002; Ying Chen (IWMM/GIAE, 2004)

Symbolic computation in the homogeneous geometric model with clifford algebra. - Hongbo Li 012 (ISSAC, 2004)

On the Mixed Cayley-Sylvester Resultant Matrix. - Weikun Sun; Hongbo Li 012 (AISC, 2006)

A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. - Hongbo Li 012 (ISSAC, 2007)

Elliptic equation's new solutions and their applications to two nonlinear partial differential equations. - Deng-Shan Wang; Hongbo Li 012 (Appl. Math. Comput., 2007)

Complex brackets, balanced complex differences, and applications in symbolic geometric computing. - Hongbo Li 012; Lei Huang (ISSAC, 2008)

Some special types of solutions of a class of the (N+1)-dimensional nonlinear wave equations. - Deng-Shan Wang; Zhenya Yan; Hongbo Li 012 (Comput. Math. Appl., 2008)

A symbolic approach to polyhedral scene analysis by parametric calotte propagation. - Hongbo Li 012; Lina Zhao 002; Ying Chen (Robotica, 2008)

Arbitrary shape reconstruction from NC sectional data and applications in space cutter compensation and interference detection. - Li Han; Xiao-Shan Gao; Hongbo Li 012; Lixian Zhang; Jie Liu (CAD/Graphics, 2009)

Parameterization of 3D Conformal Transformations in Conformal Geometric Algebra. - Hongbo Li 012 (Geometric Algebra Computing, 2010)

On Geometric Theorem Proving with Null Geometric Algebra. - Hongbo Li 012; Yuanhao Cao (Guide to Geometric Algebra in Practice, 2011)

Line Geometry in Terms of the Null Geometric Algebra over ℝ3, 3, and Application to the Inverse Singularity Analysis of Generalized Stewart Platforms. - Hongbo Li 012; Lixian Zhang (Guide to Geometric Algebra in Practice, 2011)

Approximate rational solutions torational ODEs defined on discrete differentiable curves. - Hongbo Li 012; Ruiyong Sun; Shoubin Yao; Ge Li (ISSAC, 2011)

B-spline patches and transfinite interpolation method for PDE controlled simulation. - Yuanjie Liu; Hongbo Li 012 (J. Syst. Sci. Complex., 2012)

Foreword to the Special Focus on Mathematics and Algorithms for CAM and CNC. - Hongbo Li 012; Rida T. Farouki; Dingkang Wang (Math. Comput. Sci., 2012)

Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations. - Hongbo Li 012; Xiao-Shan Gao; Lixian Zhang; Ruiyong Sun (Math. Comput. Sci., 2012)

Power Series Solution for Isoscallop Tool Path Generation on Free-form Surface with Ball-end Cutter. - Hongbo Li 012; Shoubin Yao; Ge Li; Yuanjie Liu; Lixian Zhang (Math. Comput. Sci., 2012)

Normalization of Polynomials in Algebraic Invariants of Three-Dimensional Orthogonal Geometry - Hongbo Li 012 (CoRR, 2013)

Introduction to the special issue on mathematics and algorithms in computer-aided manufacturing, engineering, and numerical control. - Hongbo Li 012; Moshe Shpitalni (J. Syst. Sci. Complex., 2013)

Geometric error control in the parabola-blending linear interpolator. - Hongbo Li 012; Lixian Zhang (J. Syst. Sci. Complex., 2013)

Two Proofs on Max-Min-Max Principle of Jerk Control in Time-Optimal Rectilinear Motion. - Hongbo Li 012; Lixian Zhang (Math. Comput. Sci., 2013)

Reduction among bracket polynomials. - Hongbo Li 012; Changpeng Shao; Lei Huang; Yue Liu (ISSAC, 2014)

Symbolic Geometric Reasoning with Advanced Invariant Algebras. - Hongbo Li 012 (MACIS, 2015)

Three-Dimensional Projective Geometry with Geometric Algebra. - Hongbo Li 012; Lei Huang; Changpeng Shao; Lei Dong (CoRR, 2015)

Time optimal feedrate generation with confined tracking error based on linear programming. - Jian-Xin Guo; Qiang Zhang; Xiao-Shan Gao; Hongbo Li 012 (J. Syst. Sci. Complex., 2015)

Visual Tracking via Sparse and Local Linear Coding. - Guofeng Wang; Xueying Qin; Fan Zhong; Yue Liu; Hongbo Li 012; Qunsheng Peng 001; Ming-Hsuan Yang 001 (IEEE Trans. Image Process., 2015)

Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry. - Changpeng Shao; Hongbo Li 012; Lei Huang (Math. Comput. Sci., 2016)

Automated Geometric Reasoning with Geometric Algebra: Theory and Practice. - Hongbo Li 012 (ISSAC, 2017)

Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension. - Hongbo Li 012; Zhang Li; Yang Li 206 (ISSAC, 2017)

Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations. - Changpeng Shao; Hongbo Li 012 (ISSAC, 2018)

Improved quantum algorithm for the random subset sum problem. - Yang Li 206; Hongbo Li 012 (CoRR, 2019)

Foreword to the Special Issue. - Xiao-Shan Gao; Hongbo Li 012; Dongming Wang 001 (J. Syst. Sci. Complex., 2019)

Automated Theorem Proving Practice with Null Geometric Algebra. - Hongbo Li 012 (J. Syst. Sci. Complex., 2019)

Quantum Algorithm Design: Techniques and Applications. - Changpeng Shao; Yang Li 206; Hongbo Li 012 (J. Syst. Sci. Complex., 2019)

Quantum Fully Homomorphic Encryption without Preprocessing. - Guangsheng Ma; Hongbo Li 012 (CoRR, 2020)

Foreword to the Special Focus on Automated Deduction in Geometry. - Xiaoyu Chen; Hongbo Li 012; Jing Yang (Math. Comput. Sci., 2020)

Quantum QR decomposition in the computational basis. - Guangsheng Ma; Hongbo Li 012; Jiman Zhao (Quantum Inf. Process., 2020)

Quantum Radon Transform and Its Application. - Guangsheng Ma; Hongbo Li 012; Jiman Zhao (CoRR, 2021)