中国科学院数学与系统科学研究院期刊网
JSSC
A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS Ⅲ.MECHANICAL PROVING OF POLYNOMIAL INEQUALITIES AND EQUATION-SOLVING
Wu Wenjun
A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS Ⅲ.MECHANICAL PROVING OF POLYNOMIAL INEQUALITIES AND EQUATION-SOLVING
Wu Wenjun
Journal of Systems Science and Complexity . 1988, (1): 1 -017 .