期刊文章详细信息
差分代换与不等式机器证明
Difference substitution and automated inequality proving
文献类型：期刊文章
机构地区：[1]广州大学计算机教育软件研究所,广东广州510006
基 金：国家重点基础研究发展规划项目(2004CB318003);国家自然科学基金项目(NNSFC-10471044)资助
年 份：2006
卷 号：5
期 号：2
起止页码：1-7
语 种：中文
收录情况：CAS、CSA-PROQEUST、UPD、WOS、ZMATH、ZR、普通刊
摘 要：设计了一个试探性的计算机程序SDS,用于证明多项式不等式,或等价地,用于判定多项式的非负性.将各变量按一定方式分割成较小的非负量,将变量替换后的多项式合并同类项,然后看是否所有的系数都是非负的.该方法不是完备的,但实验结果表明该程序对许多情况有效.不少次数较高或变量较多的多项式,除了SDS,还没有任何其他软件能做.
关 键 词：不等式机器证明 半正定 差分代换 平凡非负性 差分代换平凡
分 类 号：TP3[计算机类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
