Hongbo Li - RankMe

50 papers B 8Misc 1Journal 28Unranked 9

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Quantum Radon Transform and Its Application. CoRR Guangsheng Ma, Hongbo Li, Jiman Zhao
2020	J	`jnl`	Foreword to the Special Focus on Automated Deduction in Geometry. Math. Comput. Sci. Xiaoyu Chen, Hongbo Li, Jing Yang
2020	J	`jnl`	Quantum Fully Homomorphic Encryption without Preprocessing. CoRR Guangsheng Ma, Hongbo Li
2020	J	`jnl`	Quantum QR decomposition in the computational basis. Quantum Inf. Process. Guangsheng Ma, Hongbo Li, Jiman Zhao
2019	J	`jnl`	Automated Theorem Proving Practice with Null Geometric Algebra. J. Syst. Sci. Complex. Hongbo Li
2019	J	`jnl`	Foreword to the Special Issue. J. Syst. Sci. Complex. Xiao-Shan Gao, Hongbo Li, Dongming Wang
2019	J	`jnl`	Improved quantum algorithm for the random subset sum problem. CoRR Yang Li, Hongbo Li
2019	J	`jnl`	Quantum Algorithm Design: Techniques and Applications. J. Syst. Sci. Complex. Changpeng Shao, Yang Li, Hongbo Li
2018	B	`conf`	Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations. ISSAC Changpeng Shao, Hongbo Li
2017	B	`conf`	Automated Geometric Reasoning with Geometric Algebra: Theory and Practice. ISSAC Hongbo Li
2017	B	`conf`	Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension. ISSAC Hongbo Li, Zhang Li, Yang Li
2017	J	`jnl`	Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension. CoRR Hongbo Li, Zhang Li, Yang Li
2016	J	`jnl`	Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry. Math. Comput. Sci. Changpeng Shao, Hongbo Li, Lei Huang
2015	—	`conf`	Symbolic Geometric Reasoning with Advanced Invariant Algebras. MACIS Hongbo Li
2015	J	`jnl`	Three-Dimensional Projective Geometry with Geometric Algebra. CoRR Hongbo Li, Lei Huang, Changpeng Shao, Lei Dong
2015	J	`jnl`	Time optimal feedrate generation with confined tracking error based on linear programming. J. Syst. Sci. Complex. Jian-Xin Guo, Qiang Zhang, Xiao-Shan Gao, Hongbo Li
2015	J	`jnl`	Visual Tracking via Sparse and Local Linear Coding. IEEE Trans. Image Process. Guofeng Wang, Xueying Qin, Fan Zhong, Yue Liu, Hongbo Li, Qunsheng Peng, Ming-Hsuan Yang
2014	B	`conf`	Reduction among bracket polynomials. ISSAC Hongbo Li, Changpeng Shao, Lei Huang, Yue Liu
2013	J	`jnl`	Geometric error control in the parabola-blending linear interpolator. J. Syst. Sci. Complex. Hongbo Li, Lixian Zhang
2013	J	`jnl`	Introduction to the special issue on mathematics and algorithms in computer-aided manufacturing, engineering, and numerical control. J. Syst. Sci. Complex. Hongbo Li, Moshe Shpitalni
2013	J	`jnl`	Normalization of Polynomials in Algebraic Invariants of Three-Dimensional Orthogonal Geometry CoRR Hongbo Li
2013	J	`jnl`	Two Proofs on Max-Min-Max Principle of Jerk Control in Time-Optimal Rectilinear Motion. Math. Comput. Sci. Hongbo Li, Lixian Zhang
2012	J	`jnl`	B-spline patches and transfinite interpolation method for PDE controlled simulation. J. Syst. Sci. Complex. Yuanjie Liu, Hongbo Li
2012	J	`jnl`	Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations. Math. Comput. Sci. Hongbo Li, Xiao-Shan Gao, Lixian Zhang, Ruiyong Sun
2012	J	`jnl`	Foreword to the Special Focus on Mathematics and Algorithms for CAM and CNC. Math. Comput. Sci. Hongbo Li, Rida T. Farouki, Dingkang Wang
2012	J	`jnl`	Power Series Solution for Isoscallop Tool Path Generation on Free-form Surface with Ball-end Cutter. Math. Comput. Sci. Hongbo Li, Shoubin Yao, Ge Li, Yuanjie Liu, Lixian Zhang
2011	B	`conf`	Approximate rational solutions torational ODEs defined on discrete differentiable curves. ISSAC Hongbo Li, Ruiyong Sun, Shoubin Yao, Ge Li
2011	—	`ch.`	Line Geometry in Terms of the Null Geometric Algebra over ℝ Guide to Geometric Algebra in Practice Hongbo Li, Lixian Zhang
2011	—	`ch.`	On Geometric Theorem Proving with Null Geometric Algebra. Guide to Geometric Algebra in Practice Hongbo Li, Yuanhao Cao
2010	—	`ch.`	Parameterization of 3D Conformal Transformations in Conformal Geometric Algebra. Geometric Algebra Computing Hongbo Li
2009	—	`conf`	Arbitrary shape reconstruction from NC sectional data and applications in space cutter compensation and interference detection. CAD/Graphics Li Han, Xiao-Shan Gao, Hongbo Li, Lixian Zhang, Jie Liu
2008	J	`jnl`	A symbolic approach to polyhedral scene analysis by parametric calotte propagation. Robotica Hongbo Li, Lina Zhao, Ying Chen
2008	B	`conf`	Complex brackets, balanced complex differences, and applications in symbolic geometric computing. ISSAC Hongbo Li, Lei Huang
2008	J	`jnl`	Some special types of solutions of a class of the (N+1)-dimensional nonlinear wave equations. Comput. Math. Appl. Deng-Shan Wang, Zhenya Yan, Hongbo Li
2007	B	`conf`	A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. ISSAC Hongbo Li
2007	J	`jnl`	Elliptic equation's new solutions and their applications to two nonlinear partial differential equations. Appl. Math. Comput. Deng-Shan Wang, Hongbo Li
2006	Misc	`conf`	On the Mixed Cayley-Sylvester Resultant Matrix. AISC Weikun Sun, Hongbo Li
2005	—	`ed.`	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 IWMM/GIAE Hongbo Li, Peter J. Olver, Gerald Sommer
2004	—	`conf`	Intrinsic Differential Geometry with Geometric Calculus. IWMM/GIAE Hongbo Li, Lina Cao, Nanbin Cao, Weikun Sun
2004	—	`conf`	On Miquel's Five-Circle Theorem. IWMM/GIAE Hongbo Li, Ronghua Xu, Ning Zhang
2004	—	`conf`	Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis. IWMM/GIAE Hongbo Li, Lina Zhao, Ying Chen
2004	B	`conf`	Symbolic computation in the homogeneous geometric model with clifford algebra. ISSAC Hongbo Li
2003	J	`jnl`	Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry. J. Symb. Comput. Hongbo Li, Yihong Wu
2003	J	`jnl`	Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry. J. Symb. Comput. Hongbo Li, Yihong Wu
2002	—	`conf`	Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. Automated Deduction in Geometry Hongbo Li
2001	—	`conf`	Trifocal Tensors with Grassmann-Cayley Algebra. RobVis Hongbo Li
2000	—	`conf`	Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method. Automated Deduction in Geometry Hongbo Li, Yihong Wu
2000	—	`conf`	The Lie Model for Euclidean Geometry. AFPAC Hongbo Li
2000	J	`jnl`	Vectorial Equations Solving for Mechanical Geometry Theorem Proving. J. Autom. Reason. Hongbo Li
1998	J	`jnl`	Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry. J. Autom. Reason. Hongbo Li, Cheng Minteh