中国科学院数学与系统科学研究院期刊网
关于$5$次对称形式正性的机器判定
姚勇;冯勇
Automated Decision of Positivity of Symmetric Quintic Forms
YAO Yong;FENG Yong
系统科学与数学 . 2008, (3): 313 -324 .  DOI: 10.12341/jssms10072