排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
从优集出发,提出了相对优集的定义及其计算算法.并将其应用到不可约零点分解中,提供了一种新的不可约零点分解算法.从实例计算结果可知,就某些多项式方程组而言,相对于原来已有的算法,使用相对优集修改后,能够很好地进行分解,减少了冗余分支的出现. 相似文献
2.
可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分拆形式用于对不等式进行可读证明研究.讨论了该线性空间的维数,以及轮换对称型半正定性的判别方法.给出了一类具有对称零点的轮换对称型的半正定性判定条件.大量实例表明此分拆方式在轮换对称型半正定性的判定及可读证明上具有很好的实用性. 相似文献
3.
三元对称形式的Schur分拆与不等式的可读证明 总被引:14,自引:0,他引:14
本文给出了一类三元对称形式(即对称齐次多项式)的一种分拆法,即将此类多项式表示成一类特定形式的正半定对称形式的线性组合,介绍分拆算法.并由此而给出了三元对称形式半正定的一个充分条件. 相似文献
1