代数不等式的分拆降维方法与机器证明

陈胜利;姚勇;徐嘉

Method of Decreasing Dimension by Partition and Automated Proving for Algebraic Inequalities

CHEN Shengli;YAO Yong;XU Jia

系统科学与数学 . 2009, (1): 26 -34 . DOI: 10.12341/jssms10121