Retrieving Geometric Information from Images: The Case of Hand-drawn Diagrams (with Xiaoyu Chen and Dan Song). Data Mining and Knowledge Discovery 31(4) (2017) 934-971.
On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases. Mathematics in Computer Science 10(4) (2016) 479-492.
Automated Generation of Geometric Theorems from Images of Diagrams (with Xiaoyu Chen and Dan Song). Annals of Mathematics and Artificial Intelligence 74 (2015) 333-358.
Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification (with Xiaoliang Li). Journal of Mathematical Economics 54 (2014) 48-58.
Formalization and Specification of Geometric Knowledge Objects (with Xiaoyu Chen). Mathematics in Computer Science 7(4) (2013) 439-454.
A Framework for Improving Uniformity of Parameterizations of Curves (with Hoon Hong and Jing Yang). Science China Information Sciences 56(10) (2013) 108101:1-108101:22.
Improving Angular Speed Uniformity by Reparametrization (with Hoon Hong and Jing Yang). Computer Aided Geometric Design 30(7) (2013) 636-652.
Decomposing Polynomial Sets into Simple Sets over Finite Fields: The Positive-dimensional Case (with Xiaoliang Li and Chenqi Mou). Theoretical Computer Science 468 (2013) 102-113.
A New Algorithmic Scheme for Computing Characteristic Sets (with Meng Jin and Xiaoliang Li). Journal of Symbolic Computation 50 (2013) 431-449.
Algebraic Analysis of Stability and Bifurcation of a Self-assembling Micelle System (with Wei Niu). Applied Mathematics and Computation 219(1) (2012) 108-121.
Algebraic Stability Criteria and Symbolic Derivation of Stability Conditions for Feedback Control Systems. International Journal of Control 85(10) (2012) 1414-1421.
Management of Geometric Knowledge in Textbooks (with Xiaoyu Chen). Data & Knowledge Engineering 73 (2012) 43-57.
Computing Intersection and Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Gröbner Bases (with Yanli Huang). Computer Aided Geometric Design 28(9) (2011) 566-581.
Stability Analysis for Discrete Biological Models Using Algebraic Methods (with Xiaoliang Li, Chenqi Mou, and Wei Niu). Mathematics in Computer Science 5(3) (2011) 247-262.
Solution Formulas for Cubic Equations Without or With Constraints (with Hoon Hong and Ting Zhao). Journal of Symbolic Computation 46(8) (2011) 904-918.
Algebraic Analysis of Stability and Bifurcation for Nonlinear Flight Dynamics. The Aeronautical Journal 115(1168) (2011) 345-349.
Decomposing Polynomial Sets into Simple Sets over Finite Fields: The Zero-dimensional Case (with Xiaoliang Li and Chenqi Mou). Computers and Mathematics with Applications 60(11) (2010) 2983-2997.
Algebraic Approaches to Stability Analysis of Biological Systems (with Wei Niu). Mathematics in Computer Science 1(3) (2008) 507-539.