《SchurO1不等式软件》 《Schur01不等式软件》是基于分拆、降维、降幂、综合等算法原理而开发的具有自动发现功能的新颖不等式软件,已获得国家计算机软件著作权证书,适用于一般代数式半正定性的判定及优化问题的探求(对于对称问题尤为高效),并且从整体上看是可读的。另外,在移动U盘中SCHURO1介绍了此软件的使用原理和使用方法,同时还给出了大量的应用实例,读者可以结合陈胜利老师撰写的《不等式的分拆降维降幂方法与可读证明(第2版)》这本著作使用,书的内容已放在软件中。 在Schur01不等式软件中已安装了Maple18,使用者可以把U盘直接插入电脑,点击我的电脑内的SCHURO1,然后点击打开文件,便可以直接运行此软件。此软件在使用过程中无需另外安装任何Maple软件,特别需要注意的是此软件对电脑的配置有一定的要求,目前只支持中等配置以上且操作系统是64位的电脑(操作系统是32位的可改为64位)。