Polynomial; Global controllability; Sufficient criterion algorithm; Degree; Mathematics mechanization method;
机译:一类平面多项式系统的全局可控性的构造准则算法
机译:一类第(2n + 1)次平面扰动多项式系统的中心焦点判据
机译:平面四次拟多项式微分系统的整体相图分类
机译:一类平面多项式系统的全局可控性的简单充分标准
机译:一类非完整系统的全球制定和控制
机译:一类布尔生物网络可控制性测试的多项式时间算法
机译:一类第(2n + 1)次平面扰动多项式系统的中心焦点判据