【期刊论文】A Complete Algorithm for Counting Real Solutions of Polynomial Systems of Equations and Inequalities

侯晓荣， BICAN XIA*， XIAORONG HOU

【期刊论文】Bifurcations of a Polynomial Differential System of Degree n in Biochemical Reactions

侯晓荣， XIAORONG HOU， RUI YAN， WEINIAN ZHANG*

【期刊论文】A complete algorithm for automated discovering of a class of inequality-type theorems

侯晓荣， YANG Lu， HOU Xiaorong， XIA Bican