基于列随机矩阵的连续差分替代和正半定形式的机械决策
摘要：基于列随机平均矩阵 $T_n$ 作为基本替代矩阵，建立了一种先进的连续差分替代方法。然后，从这个方法中导出一组判断 $R^n_+$ 上正半定形式的充分必要条件。并且进一步证明了正定形式的 SDS 集合序列是正终止的。根据这些结果，通过 TSDS3 Maple 程序不仅可以自动证明多项式不等式，还可以输出错误的反例。尽管有时 TSDS3 不会停止，但通过实验实验许多例子，它仍然非常有用。
作者：Yong Yao
论文ID：0904.4030
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2010-04-05