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

利用參系數(shù)多項(xiàng)式正實(shí)根的判別序列,給出了多變?cè)?次對(duì)稱形式在Rn+上取非負(fù)值的顯示判定方法.并以此為依據(jù),導(dǎo)出了一個(gè)有效的算法,能夠在變?cè)獢?shù)較多時(shí)也可以使用計(jì)算機(jī)來(lái)自動(dòng)判定.

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

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

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

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

對(duì)稱廣義中心對(duì)稱矩陣模型修正的矩陣逼近法及其擾動(dòng)性04-26

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

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

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

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

考研英語(yǔ) 形式主語(yǔ)與形式賓語(yǔ)04-27

分級(jí)反義詞在語(yǔ)用前提中的非對(duì)稱比較與對(duì)比性04-26

形式對(duì)等和神似標(biāo)準(zhǔn)適用性和局限性04-27