Hongbo Li
Affiliations:- Chinese Academy of Sciences, Academy of Mathematics and System Sciences, Mathematics Mechanization Key Lab, Beijing, China
According to our database1,
Hongbo Li
authored at least 50 papers
between 1998 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
On csauthors.net:
Bibliography
2021
2020
Math. Comput. Sci., 2020
2019
J. Syst. Sci. Complex., 2019
2018
Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018
2017
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017
2016
Math. Comput. Sci., 2016
2015
Time optimal feedrate generation with confined tracking error based on linear programming.
J. Syst. Sci. Complex., 2015
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015
2014
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014
2013
Two Proofs on Max-Min-Max Principle of Jerk Control in Time-Optimal Rectilinear Motion.
Math. Comput. Sci., 2013
J. Syst. Sci. Complex., 2013
Introduction to the special issue on mathematics and algorithms in computer-aided manufacturing, engineering, and numerical control.
J. Syst. Sci. Complex., 2013
Normalization of Polynomials in Algebraic Invariants of Three-Dimensional Orthogonal Geometry
CoRR, 2013
2012
Power Series Solution for Isoscallop Tool Path Generation on Free-form Surface with Ball-end Cutter.
Math. Comput. Sci., 2012
Math. Comput. Sci., 2012
Math. Comput. Sci., 2012
J. Syst. Sci. Complex., 2012
2011
Approximate rational solutions torational ODEs defined on discrete differentiable curves.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011
Line Geometry in Terms of the Null Geometric Algebra over ℝ<sup>3, 3</sup>, and Application to the Inverse Singularity Analysis of Generalized Stewart Platforms.
Proceedings of the Guide to Geometric Algebra in Practice., 2011
Proceedings of the Guide to Geometric Algebra in Practice., 2011
2010
Proceedings of the Geometric Algebra Computing - in Engineering and Computer Science., 2010
2009
Arbitrary shape reconstruction from NC sectional data and applications in space cutter compensation and interference detection.
Proceedings of the 11th International Conference on Computer-Aided Design and Computer Graphics, 2009
2008
Robotica, 2008
Some special types of solutions of a class of the (N+1)-dimensional nonlinear wave equations.
Comput. Math. Appl., 2008
Complex brackets, balanced complex differences, and applications in symbolic geometric computing.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008
2007
Elliptic equation's new solutions and their applications to two nonlinear partial differential equations.
Appl. Math. Comput., 2007
A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007
2006
Proceedings of the Artificial Intelligence and Symbolic Computation, 2006
2004
Proceedings of the Symbolic and Algebraic Computation, 2004
Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004
Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004
Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004
Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004
<i>n</i>D Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation.
Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004
2003
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry.
J. Symb. Comput., 2003
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry.
J. Symb. Comput., 2003
2002
Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving.
Proceedings of the Automated Deduction in Geometry, 2002
2001
Proceedings of the Robot Vision, 2001
2000
J. Autom. Reason., 2000
Proceedings of the Algebraic Frames for the Perception-Action Cycle, 2000
Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method.
Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000
1998
Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry.
J. Autom. Reason., 1998