多项式微分系统定性性质的算法化推导

胡亦郑;罗勇;陆征一

Mechanical Manipulation for the Qualitative Properties of Polyomial Differential Systems

HU Yizheng;LUO Yong;LU Zhengyi

系统科学与数学 . 2010, (11): 1465 -1477 . DOI: 10.12341/jssms09282