基于列随机矩阵的逐次差分代换与正半定型的机械化判定

• 作者: 姚勇
• 来源期刊: 中国科学A辑
• 关键词: 逐次差分代换 差分代换集序列 终止性 正半定型 机械化判定
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 论文
• 页码范围: 251-264
• 页数: 14页
• 语种: 中文

摘要

本文选择列随机平均矩阵Tn作为基本代换矩阵,建立了基于Tn的逐次差分代换方法.获得了Rn+上正半定型,不定型判定的充要条件.并进一步证明了:正定型的差分代换集序列正向终止.根据这些结果编写的Maple程序TSDS3,能够自动证明代数型不等式,对不成立的不等式总能输出反例.该程序虽可能不停机,但大量的应用实例证实了该方法的实用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚勇	中国科学院成都计算机应用研究所	21	89	6.0	9.0