default search action
Hongbo Li 0012
Person information
- affiliation: Chinese Academy of Sciences, Academy of Mathematics and System Sciences, Mathematics Mechanization Key Lab, Beijing, China
Other persons with the same name
- Hongbo Li (aka: Hong-bo Li, Hong-Bo Li) — disambiguation page
- Hongbo Li 0001
— Tsinghua University, Department of Computer Science and Technology, Beijing, China
- Hongbo Li 0002
- Hongbo Li 0003
- Hongbo Li 0004
- Hongbo Li 0005
- Hongbo Li 0006 — University of California Riverside, Department of Computer Science and Engineering, Riverside, CA, USA
- Hongbo Li 0007 — Sun Yat-Sen University, School of Data and Computer Science, Guangzhou, China
- Hongbo Li 0008
- Hongbo Li 0009
- Hongbo Li 0010
- Hongbo Li 0011
- Hongbo Li 0013 — Shanghai University, School of Management, Shanghai, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [i6]Guangsheng Ma, Hongbo Li, Jiman Zhao:
Quantum Radon Transform and Its Application. CoRR abs/2107.05524 (2021) - 2020
- [j22]Xiaoyu Chen, Hongbo Li, Jing Yang:
Foreword to the Special Focus on Automated Deduction in Geometry. Math. Comput. Sci. 14(4): 671-672 (2020) - [j21]Guangsheng Ma, Hongbo Li, Jiman Zhao:
Quantum QR decomposition in the computational basis. Quantum Inf. Process. 19(8): 271 (2020) - [i5]Guangsheng Ma, Hongbo Li:
Quantum Fully Homomorphic Encryption without Preprocessing. CoRR abs/2012.04211 (2020)
2010 – 2019
- 2019
- [j20]Xiao-Shan Gao, Hongbo Li, Dongming Wang:
Foreword to the Special Issue. J. Syst. Sci. Complex. 32(1): 1-2 (2019) - [j19]Hongbo Li:
Automated Theorem Proving Practice with Null Geometric Algebra. J. Syst. Sci. Complex. 32(1): 95-123 (2019) - [j18]Changpeng Shao, Yang Li, Hongbo Li:
Quantum Algorithm Design: Techniques and Applications. J. Syst. Sci. Complex. 32(1): 375-452 (2019) - [i4]Yang Li, Hongbo Li:
Improved quantum algorithm for the random subset sum problem. CoRR abs/1912.09264 (2019) - 2018
- [c20]Changpeng Shao, Hongbo Li:
Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations. ISSAC 2018: 367-374 - 2017
- [c19]Hongbo Li:
Automated Geometric Reasoning with Geometric Algebra: Theory and Practice. ISSAC 2017: 7-8 - [c18]Hongbo Li, Zhang Li, Yang Li:
Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension. ISSAC 2017: 269-276 - [i3]Hongbo Li, Zhang Li, Yang Li:
Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension. CoRR abs/1701.08487 (2017) - 2016
- [j17]Changpeng Shao, Hongbo Li, Lei Huang:
Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry. Math. Comput. Sci. 10(1): 75-96 (2016) - 2015
- [j16]Jian-Xin Guo, Qiang Zhang, Xiao-Shan Gao, Hongbo Li:
Time optimal feedrate generation with confined tracking error based on linear programming. J. Syst. Sci. Complex. 28(1): 80-95 (2015) - [j15]Guofeng Wang, Xueying Qin, Fan Zhong, Yue Liu, Hongbo Li, Qunsheng Peng, Ming-Hsuan Yang:
Visual Tracking via Sparse and Local Linear Coding. IEEE Trans. Image Process. 24(11): 3796-3809 (2015) - [c17]Hongbo Li:
Symbolic Geometric Reasoning with Advanced Invariant Algebras. MACIS 2015: 35-49 - [i2]Hongbo Li, Lei Huang, Changpeng Shao, Lei Dong:
Three-Dimensional Projective Geometry with Geometric Algebra. CoRR abs/1507.06634 (2015) - 2014
- [c16]Hongbo Li, Changpeng Shao, Lei Huang, Yue Liu:
Reduction among bracket polynomials. ISSAC 2014: 304-311 - 2013
- [j14]Hongbo Li, Moshe Shpitalni:
Introduction to the special issue on mathematics and algorithms in computer-aided manufacturing, engineering, and numerical control. J. Syst. Sci. Complex. 26(5): 665-666 (2013) - [j13]Hongbo Li, Lixian Zhang:
Geometric error control in the parabola-blending linear interpolator. J. Syst. Sci. Complex. 26(5): 777-798 (2013) - [j12]Hongbo Li, Lixian Zhang:
Two Proofs on Max-Min-Max Principle of Jerk Control in Time-Optimal Rectilinear Motion. Math. Comput. Sci. 7(2): 229-236 (2013) - [i1]Hongbo Li:
Normalization of Polynomials in Algebraic Invariants of Three-Dimensional Orthogonal Geometry. CoRR abs/1302.7194 (2013) - 2012
- [j11]Yuanjie Liu
B-spline patches and transfinite interpolation method for PDE controlled simulation. J. Syst. Sci. Complex. 25(2): 348-361 (2012) - [j10]Hongbo Li, Rida T. Farouki, Dingkang Wang:
Foreword to the Special Focus on Mathematics and Algorithms for CAM and CNC. Math. Comput. Sci. 6(3): 267-268 (2012) - [j9]Hongbo Li, Shoubin Yao, Ge Li, Yuanjie Liu
Power Series Solution for Isoscallop Tool Path Generation on Free-form Surface with Ball-end Cutter. Math. Comput. Sci. 6(3): 281-296 (2012) - [j8]Hongbo Li, Xiao-Shan Gao, Lixian Zhang, Ruiyong Sun:
Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations. Math. Comput. Sci. 6(3): 327-344 (2012) - 2011
- [c15]Hongbo Li, Ruiyong Sun, Shoubin Yao, Ge Li:
Approximate rational solutions torational ODEs defined on discrete differentiable curves. ISSAC 2011: 217-224 - [p3]Hongbo Li, Yuanhao Cao:
On Geometric Theorem Proving with Null Geometric Algebra. Guide to Geometric Algebra in Practice 2011: 195-215 - [p2]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 - 2010
- [p1]Hongbo Li:
Parameterization of 3D Conformal Transformations in Conformal Geometric Algebra. Geometric Algebra Computing 2010: 71-90
2000 – 2009
- 2009
- [c14]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
- [j7]Deng-Shan Wang, Zhenya Yan, Hongbo Li:
Some special types of solutions of a class of the (N+1)-dimensional nonlinear wave equations. Comput. Math. Appl. 56(6): 1569-1579 (2008) - [j6]Hongbo Li, Lina Zhao
A symbolic approach to polyhedral scene analysis by parametric calotte propagation. Robotica 26(4): 483-501 (2008) - [c13]Hongbo Li, Lei Huang:
Complex brackets, balanced complex differences, and applications in symbolic geometric computing. ISSAC 2008: 181-188 - 2007
- [j5]Deng-Shan Wang, Hongbo Li:
Elliptic equation's new solutions and their applications to two nonlinear partial differential equations. Appl. Math. Comput. 188(1): 762-771 (2007) - [c12]Hongbo Li:
A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. ISSAC 2007: 261-268 - 2006
- [c11]Weikun Sun, Hongbo Li:
On the Mixed Cayley-Sylvester Resultant Matrix. AISC 2006: 146-159 - 2005
- [e1]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. Lecture Notes in Computer Science 3519, Springer 2005, ISBN 3-540-26296-2 [contents] - 2004
- [c10]Hongbo Li:
nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation. Automated Deduction in Geometry 2004: 169-197 - [c9]Hongbo Li, Lina Cao, Nanbin Cao, Weikun Sun:
Intrinsic Differential Geometry with Geometric Calculus. IWMM/GIAE 2004: 207-216 - [c8]Hongbo Li, Ronghua Xu, Ning Zhang:
On Miquel's Five-Circle Theorem. IWMM/GIAE 2004: 217-228 - [c7]Hongbo Li, Quan Wang, Lina Zhao
nD Object Representation and Detection from Single 2D Line Drawing. IWMM/GIAE 2004: 363-382 - [c6]Hongbo Li, Lina Zhao
Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis. IWMM/GIAE 2004: 383-402 - [c5]Hongbo Li:
Symbolic computation in the homogeneous geometric model with clifford algebra. ISSAC 2004: 221-228 - 2003
- [j4]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) - [j3]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
- [c4]Hongbo Li:
Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. Automated Deduction in Geometry 2002: 106-123 - 2001
- [c3]Hongbo Li:
Trifocal Tensors with Grassmann-Cayley Algebra. RobVis 2001: 237-244 - 2000
- [j2]Hongbo Li:
Vectorial Equations Solving for Mechanical Geometry Theorem Proving. J. Autom. Reason. 25(2): 83-121 (2000) - [c2]Hongbo Li, Yihong Wu:
Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method. Automated Deduction in Geometry 2000: 199-227 - [c1]Hongbo Li:
The Lie Model for Euclidean Geometry. AFPAC 2000: 115-133
1990 – 1999
- 1998
- [j1]Hongbo Li, Cheng Minteh:
Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry. J. Autom. Reason. 21(1): 1-21 (1998)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: