《SchurO1不等式軟件》 《Schur01不等式軟件》是基于分拆、降維、降冪、綜合等算法原理而開發(fā)的具有自動發(fā)現(xiàn)功能的新穎不等式軟件,已獲得國家計算機軟件著作權證書,適用于一般代數(shù)式半正定性的判定及優(yōu)化問題的探求(對于對稱問題尤為高效),并且從整體上看是可讀的。另外,在移動U盤中SCHURO1介紹了此軟件的使用原理和使用方法,同時還給出了大量的應用實例,讀者可以結合陳勝利老師撰寫的《不等式的分拆降維降冪方法與可讀證明(第2版)》這本著作使用,書的內容已放在軟件中。 在Schur01不等式軟件中已安裝了Maple18,使用者可以把U盤直接插入電腦,點擊我的電腦內的SCHURO1,然后點擊打開文件,便可以直接運行此軟件。此軟件在使用過程中無需另外安裝任何Maple軟件,特別需要注意的是此軟件對電腦的配置有一定的要求,目前只支持中等配置以上且操作系統(tǒng)是64位的電腦(操作系統(tǒng)是32位的可改為64位)。