对称型的降幂分拆方法与代数不等式的一个判定系统

陈胜利，陈良育

THE DEGREE-DECREASING DECOMPOSITION OF SYMMETRIC FORMS WITH A PROGRAM FOR ALGEBRAIC INEQUALITY DECISION

CHEN Shengli,CHEN Liangyu

系统科学与数学 . 2013, (2): 179 -196 . DOI: 10.12341/jssms12038