關(guān)于5次對稱形式正性的機器判定

利用參系數(shù)多項式正實根的判別序列,給出了多變元5次對稱形式在Rn+上取非負值的顯示判定方法.并以此為依據(jù),導(dǎo)出了一個有效的算法,能夠在變元數(shù)較多時也可以使用計算機來自動判定.

作 者： 姚勇 馮勇 YAO Yong FENG Yong   作者單位： 中國科學(xué)院成都計算機應(yīng)用研究所,成都,610041  刊 名： 系統(tǒng)科學(xué)與數(shù)學(xué)  ISTIC PKU 英文刊名： JOURNAL OF SYSTEMS SCIENCE AND MATHEMATICAL SCIENCES  年，卷(期)： 2008 28(3)  分類號： O1  關(guān)鍵詞： 正根的判別序列   5次對稱形式   機器證明  

【5次對稱形式正性的機器判定】相關(guān)文章：

一些正態(tài)核斜對稱分布的無窮可分性04-27

LTPB接口控制文件ICD的有效性判定04-26

對稱廣義中心對稱矩陣模型修正的矩陣逼近法及其擾動性04-26

自制教具-各種形式的跳躍性練習(xí)教案04-25

創(chuàng)造性思維與其他思維形式的關(guān)系04-27

模糊判斷矩陣的一致性判定及改進方法研究04-27

關(guān)于判定命題推理有效性真值表化簡方法的引申04-27

考研英語 形式主語與形式賓語04-27

分級反義詞在語用前提中的非對稱比較與對比性04-26

形式對等和神似標準適用性和局限性04-27