An Algorithmic Approach to Limit Cycles of Nonlinear Differential Systems: The Averaging Method Revisited. - Bo Huang 015; Chee Yap (ISSAC, 2019)

Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems. - Bo Huang 015; Wei Niu 001 (MACIS, 2019)

Algebraic approach to chaos induced by snapback repeller. - Bo Huang 015; Wei Niu 001 (ACM Commun. Comput. Algebra, 2019)

Analysis of Snapback Repellers Using Methods of Symbolic Computation. - Bo Huang 015; Wei Niu 001 (Int. J. Bifurc. Chaos, 2019)

Algorithmic averaging for studying periodic orbits of planar differential systems. - Bo Huang 015 (ISSAC, 2020)

On n-sectors of the Angles of an Arbitrary Triangle. - Dongming Wang 001; Bo Huang 015; Xiaoyu Chen 001 (Math. Comput. Sci., 2020)

Bounding the number of limit cycles for parametric Liénard systems using symbolic computation methods. - Yifan Hu; Wei Niu 001; Bo Huang 015 (Commun. Nonlinear Sci. Numer. Simul., 2021)

Zero-Hopf Bifurcation of Limit Cycles in Certain Differential Systems. - Bo Huang 015; Dongming Wang 001 (CoRR, 2022)

Algebraic Analysis of Zero-Hopf Bifurcation in a Chua System. - Bo Huang 015; Wei Niu 001; Shaofen Xie (Symmetry, 2022)

Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods. - Bo Huang 015; Xiaoliang Li; Wei Niu 001; Shaofen Xie (CASC, 2023)

Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems. - Bo Huang 015 (ISSAC, 2023)

Stability and chaos of the duopoly model of Kopel: A study based on symbolic computations. - Xiaoliang Li; Kongyan Chen; Wei Niu 001; Bo Huang 015 (CoRR, 2023)

An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited. - Bo Huang 015; Chee Yap (J. Symb. Comput., 2023)

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation. - Bo Huang 015; Dongming Wang 001; Jing Yang 039 (ISSAC, 2024)

Optimal parameter of the SOR-like iteration method for solving absolute value equations. - Cairong Chen; Bo Huang 015; Dongmei Yu; Deren Han (Numer. Algorithms, 2024)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations. - Christian G. Böhmer; Bo Huang 015; Dongming Wang 001; Xinyu Wang (CoRR, 2025)

Jacobi stability analysis for systems of ODEs with symbolic computation. - Bo Huang 015; Dongming Wang 001; Xinyu Wang; Jing Yang 039 (J. Symb. Comput., 2026)